Cargando…

Two-valued iterative systems of mathematical logic. (am-5).

The book description for the forthcoming "The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)" is not yet available.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Emil L. Post
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Princeton : Princeton Univ Press, 2016.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a22000003 4500
001 JSTOR_ocn945482727
003 OCoLC
005 20231005004200.0
006 m o d
007 cr |||||||||||
008 160323s2016 nju o 000 0 eng d
040 |a YDXCP  |b eng  |e pn  |c YDXCP  |d JSTOR  |d OCLCF  |d DEBBG  |d OCLCQ  |d N$T  |d OCLCQ  |d UIU  |d DEBSZ  |d COO  |d IOG  |d OCLCQ  |d OCLCO  |d OCLCQ  |d OCLCO 
020 |a 1400882362  |q (electronic bk.) 
020 |a 9781400882366  |q (electronic bk.) 
029 1 |a AU@  |b 000062471808 
029 1 |a CHBIS  |b 010896183 
029 1 |a CHVBK  |b 48339257X 
029 1 |a DEBBG  |b BV043712496 
029 1 |a DEBSZ  |b 478625324 
029 1 |a GBVCP  |b 1003819524 
035 |a (OCoLC)945482727 
037 |a 22573/ctt1bgtsnj  |b JSTOR 
050 4 |a BC135 
072 7 |a MAT018000  |2 bisacsh 
082 0 4 |a 164 
049 |a UAMI 
100 1 |a Emil L. Post. 
245 1 0 |a Two-valued iterative systems of mathematical logic. (am-5). 
260 |a Princeton :  |b Princeton Univ Press,  |c 2016. 
300 |a 1 online resource 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
505 0 0 |t Frontmatter --  |t CONTENTS --  |t INTRODUCTION --  |t Part I. PRELIMINARIES --  |t PART II. DERIVATION OP CLOSED SYSTEMS --  |t PART III. CO-ORDINATION AND APPLICATION --  |t BIBLIOGRAPHY 
520 |a The book description for the forthcoming "The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)" is not yet available. 
590 |a JSTOR  |b Books at JSTOR Evidence Based Acquisitions 
590 |a JSTOR  |b Books at JSTOR Demand Driven Acquisitions (DDA) 
590 |a JSTOR  |b Books at JSTOR All Purchased 
650 0 |a Logic, Symbolic and mathematical. 
650 6 |a Logique symbolique et mathématique. 
650 7 |a MATHEMATICS  |x Logic.  |2 bisacsh 
650 7 |a Logic, Symbolic and mathematical  |2 fast 
856 4 0 |u https://jstor.uam.elogim.com/stable/10.2307/j.ctt1bgzb1r  |z Texto completo 
938 |a EBSCOhost  |b EBSC  |n 1432937 
938 |a YBP Library Services  |b YANK  |n 12887039 
994 |a 92  |b IZTAP