Mathematical logic in the 20th century /

Mostrar otras versiones (1)

This invaluable book is a collection of 31 important both inideas and results papers published by mathematical logicians inthe 20th Century. The papers have been selected by Professor Gerald ESacks. Some of the authors are Gdel, Kleene, Tarski, A Robinson, Kreisel, Cohen, Morley, Shelah, Hrushovski...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Sacks, Gerald E.
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Singapore : River Edge, N.J. : Singapore University Press ; World Scientific, ©2003.
Temas:
Logic, Symbolic and mathematical.
Logique symbolique et mathématique.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Logic, Symbolic and mathematical
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000 a 4500
001 EBOOKCENTRAL_ocm62715985
003 OCoLC
005 20240329122006.0
006 m o d
007 cr cnu---unuuu
008 051220s2003 si a ob 000 0 eng d
040 |a JNA  |b eng  |e pn  |c JNA  |d OQP  |d OCLCQ  |d N$T  |d YDXCP  |d IDEBK  |d OCLCQ  |d DKDLA  |d ADU  |d EBLCP  |d OCLCQ  |d MERUC  |d OCLCQ  |d DEBSZ  |d E7B  |d OCLCQ  |d OCLCF  |d OCLCQ  |d AZK  |d LOA  |d JBG  |d COCUF  |d MOR  |d PIFBR  |d ZCU  |d OCLCQ  |d U3W  |d STF  |d WRM  |d VTS  |d NRAMU  |d AGLDB  |d INT  |d VT2  |d OCLCQ  |d WYU  |d OCLCQ  |d G3B  |d DKC  |d AU@  |d OCLCQ  |d UKAHL  |d OCLCQ  |d LEAUB  |d UWW  |d OCLCQ  |d UKCRE  |d VLY  |d IAC  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCLCQ  |d OCLCL 
019 |a 61058569  |a 475190128  |a 475941233  |a 488487690  |a 559867180  |a 815743359  |a 961583439  |a 962645673  |a 966100403  |a 988523979  |a 992067569  |a 1037692727  |a 1038692710  |a 1045501851  |a 1055387602  |a 1065092252  |a 1081229192  |a 1086440489  |a 1153510347  |a 1162551260  |a 1228556955  |a 1241833554  |a 1290074630  |a 1300608141 
020 |a 9812564896  |q (electronic bk.) 
020 |a 9789812564894  |q (electronic bk.) 
020 |a 9789810247362 
020 |a 9810247362 
020 |a 1281876941 
020 |a 9781281876942 
020 |a 9786611876944 
020 |a 6611876944 
020 |z 9810247362 
029 1 |a AU@  |b 000049162877 
029 1 |a AU@  |b 000051394006 
029 1 |a AU@  |b 000058360366 
029 1 |a DEBBG  |b BV043138510 
029 1 |a DEBSZ  |b 379293234 
029 1 |a DEBSZ  |b 422316598 
029 1 |a NZ1  |b 14235584 
035 |a (OCoLC)62715985  |z (OCoLC)61058569  |z (OCoLC)475190128  |z (OCoLC)475941233  |z (OCoLC)488487690  |z (OCoLC)559867180  |z (OCoLC)815743359  |z (OCoLC)961583439  |z (OCoLC)962645673  |z (OCoLC)966100403  |z (OCoLC)988523979  |z (OCoLC)992067569  |z (OCoLC)1037692727  |z (OCoLC)1038692710  |z (OCoLC)1045501851  |z (OCoLC)1055387602  |z (OCoLC)1065092252  |z (OCoLC)1081229192  |z (OCoLC)1086440489  |z (OCoLC)1153510347  |z (OCoLC)1162551260  |z (OCoLC)1228556955  |z (OCoLC)1241833554  |z (OCoLC)1290074630  |z (OCoLC)1300608141 
050 4 |a QA9.2  |b .M36 2003eb 
072 7 |a MAT  |x 016000  |2 bisacsh 
072 7 |a MAT  |x 018000  |2 bisacsh 
072 7 |a JP  |2 bicssc 
082 0 4 |a 511.3  |2 22 
049 |a UAMI 
245 0 0 |a Mathematical logic in the 20th century /  |c [edited by] Gerald E. Sacks. 
246 3 |a Mathematical logic in the twentieth century 
260 |a Singapore :  |b Singapore University Press ;  |a River Edge, N.J. :  |b World Scientific,  |c ©2003. 
300 |a 1 online resource (xiii, 693 pages) :  |b illustrations 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a data file 
504 |a Includes bibliographical references. 
520 |a This invaluable book is a collection of 31 important both inideas and results papers published by mathematical logicians inthe 20th Century. The papers have been selected by Professor Gerald ESacks. Some of the authors are Gdel, Kleene, Tarski, A Robinson, Kreisel, Cohen, Morley, Shelah, Hrushovski and Woodin. 
588 0 |a Print version record. 
505 0 0 |g Introduction --  |t The independence of the continuum hypothesis /  |r Paul J. Cohen --  |t The independence of the continuum hypotehsis II /  |r Paul J. Cohen --  |t Marginalia to a theorem of silver /  |r K. I. Devlin and R. B. Jensen --  |t Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication /  |r Richard M. Friedberg--  |t Higher set theory and mathematical practice /  |r Harvey M. Friedman --  |t Introduction to [Pi ¹₂]-logic /  |r Jean-Yves Girard --  |t Consistency-proof for the generalized continuum-hypothesis /  |r Kurt Gödel--  |t The Mordell-Lang conjecture for function fields /  |r Ehud Hrushovski--  |t Model-theoretic invariants: applications to recursive and hyperarithmetic operations /  |r . G. Kreisel--  |t Recursive functionals and quantifiers of finite types I /  |r S. C. Kleene --  |t A recursively enumerable degree which will not split over all lesser ones /  |r A. H. Lachlan --  |t Measurable cardinals and analytic games /  |r Donald A. Martin --  |t Enumerable sets are diophantine /  |r Ju. V. Matijasevič --  |t Categoricity in power /  |r Michael Morley --  |t Hyperanalytic predicates /  |r Y. N. Moschovakis --  |t Solution of Post's reduction problem and some other problems of the theory of algorithms /  |r A. A. Mučhnik --  |t Recursively enumerable sets of positive integers and their decision problems /  |r Emil L. Post --  |t Non-standard analysis /  |r Abraham Robinson --  |t The recursively enumerable degrees are dense /  |r Gerald E. Sacks --  |t Measurable cardinals and constructible sets /  |r Dana Scott --  |t Stable theories /  |r S. Shelah --  |t The problem of predicativity /  |r J. R. Schoenfield --  |t On the singular cardinals problem /  |r Jack Silver --  |t Automorphisms of the lattice of recursively enumerable sets. Part I: Maximal sets /  |r Robert Soare --  |t A model of set-theory in which every set of reals is Lebesgue measurable /  |r Robert M. Solovay --  |t On degrees of recursive unfolvability /  |r Clifford Spector --  |t A decision method for elementary algebra and geometry /  |r Alfred Tarski --  |t Denumerable models of complete theories /  |r R. L. Vaught --  |t Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function /  |r A. J. Wilkie --  |t Supercompact cardinals, sets of reals, and weakly homogenous trees /  |r W. Hugh Woodin --  |t Sturctural properties of models of N₁-categorical theories /  |r B. I. Zil'ber --  |g Permissions. 
546 |a English. 
590 |a eBooks on EBSCOhost  |b EBSCO eBook Subscription Academic Collection - Worldwide 
590 |a ProQuest Ebook Central  |b Ebook Central Academic Complete 
650 0 |a Logic, Symbolic and mathematical. 
650 6 |a Logique symbolique et mathématique. 
650 7 |a MATHEMATICS  |x Infinity.  |2 bisacsh 
650 7 |a MATHEMATICS  |x Logic.  |2 bisacsh 
650 7 |a Logic, Symbolic and mathematical  |2 fast 
700 1 |a Sacks, Gerald E. 
758 |i has work:  |a Mathematical logic in the 20th century (Text)  |1 https://id.oclc.org/worldcat/entity/E39PCGMW9r4d9rV88th9YYYRjy  |4 https://id.oclc.org/worldcat/ontology/hasWork 
776 0 8 |i Print version:  |t Mathematical logic in the 20th century.  |d Singapore : Singapore University Press ; River Edge, N.J. : World Scientific, ©2003  |z 9810247362  |w (DLC) 2004296740  |w (OCoLC)53395553 
856 4 0 |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=234351  |z Texto completo 
938 |a Askews and Holts Library Services  |b ASKH  |n AH21190649 
938 |a ProQuest Ebook Central  |b EBLB  |n EBL234351 
938 |a EBSCOhost  |b EBSC  |n 135175 
938 |a YBP Library Services  |b YANK  |n 2407679 
994 |a 92  |b IZTAP 

Ejemplares similares