The mathematics of logic : a guide to completeness theorems and their applications /

Mostrar otras versiones (1)

This textbook rescues students from traditional, dry and uninspiring introductory courses in logic, quickly providing context using genuine mathematical applications.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Kaye, Richard (Richard W.)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge : Cambridge University Press, 2007.
Temas:
Logic, Symbolic and mathematical.
Logique symbolique et mathématique.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Logic, Symbolic and mathematical
Mathematische Logik
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000 a 4500
001 EBOOKCENTRAL_ocn181380147
003 OCoLC
005 20240329122006.0
006 m o d
007 cr cnu---unuuu
008 071116s2007 enka ob 001 0 eng d
040 |a N$T  |b eng  |e pn  |c N$T  |d YDXCP  |d OCLCQ  |d NRU  |d AUD  |d OCLCO  |d E7B  |d AZU  |d REDDC  |d IDEBK  |d OCLCQ  |d DEBSZ  |d COO  |d AU@  |d OCLCQ  |d I9W  |d EUX  |d FTUBL  |d OCLCF  |d OCLCQ  |d EBLCP  |d OCLCQ  |d COCUF  |d CNNOR  |d LOA  |d MERUC  |d ZCU  |d X#7  |d ICG  |d K6U  |d OCLCQ  |d HEBIS  |d STF  |d OCLCQ  |d D6H  |d UAB  |d WRM  |d WCO  |d OCLCO  |d OCLCQ  |d INT  |d VT2  |d OCLCQ  |d WYU  |d A6Q  |d LVT  |d TKN  |d U3W  |d OCLCQ  |d DKC  |d OCLCQ  |d OL$  |d OCLCQ  |d G3B  |d OCLCQ  |d UKCRE  |d VLY  |d UKAHL  |d AJS  |d LUN  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCLCL 
015 |a GBA752063  |2 bnb 
016 7 |a 013784655  |2 Uk 
019 |a 191727788  |a 519719498  |a 647687077  |a 667099587  |a 778813764  |a 781393011  |a 815536469  |a 819627018  |a 957741419  |a 958086237  |a 993296937  |a 1000198160  |a 1007564346  |a 1029499592  |a 1035656427  |a 1037742546  |a 1038591582  |a 1055384398  |a 1058528644  |a 1066614762  |a 1076313422  |a 1153459128  |a 1162554735  |a 1171252989  |a 1171633167  |a 1228547074  |a 1241756839  |a 1259085671 
020 |a 9780511342738  |q (electronic bk.) 
020 |a 051134273X  |q (electronic bk.) 
020 |a 0511341687 
020 |a 9780511341687 
020 |a 9780511619243  |q (ebook) 
020 |a 0511619243  |q (ebook) 
020 |a 1107185238 
020 |a 9781107185234 
020 |a 1281085316 
020 |a 9781281085313 
020 |a 9786611085315 
020 |a 6611085319 
020 |a 0511342209 
020 |a 9780511342202 
020 |a 0511341105 
020 |a 9780511341106 
020 |a 0511556837 
020 |a 9780511556838 
020 |z 9780521882194  |q (hbk.) 
020 |z 0521882192  |q (hbk.) 
020 |z 9780521708777  |q (pbk.) 
020 |z 052170877X  |q (pbk.) 
029 1 |a AU@  |b 000044592174 
029 1 |a AU@  |b 000048830158 
029 1 |a DEBSZ  |b 379306425 
029 1 |a DEBSZ  |b 445566450 
035 |a (OCoLC)181380147  |z (OCoLC)191727788  |z (OCoLC)519719498  |z (OCoLC)647687077  |z (OCoLC)667099587  |z (OCoLC)778813764  |z (OCoLC)781393011  |z (OCoLC)815536469  |z (OCoLC)819627018  |z (OCoLC)957741419  |z (OCoLC)958086237  |z (OCoLC)993296937  |z (OCoLC)1000198160  |z (OCoLC)1007564346  |z (OCoLC)1029499592  |z (OCoLC)1035656427  |z (OCoLC)1037742546  |z (OCoLC)1038591582  |z (OCoLC)1055384398  |z (OCoLC)1058528644  |z (OCoLC)1066614762  |z (OCoLC)1076313422  |z (OCoLC)1153459128  |z (OCoLC)1162554735  |z (OCoLC)1171252989  |z (OCoLC)1171633167  |z (OCoLC)1228547074  |z (OCoLC)1241756839  |z (OCoLC)1259085671 
050 4 |a QA9  |b .L32 2007eb 
072 7 |a MAT  |x 016000  |2 bisacsh 
072 7 |a MAT  |x 018000  |2 bisacsh 
082 0 4 |a 511.3  |2 22 
084 |a CC 2600  |2 rvk 
084 |a SK 130  |2 rvk 
049 |a UAMI 
100 1 |a Kaye, Richard  |q (Richard W.)  |1 https://id.oclc.org/worldcat/entity/E39PCjHjRbDFtyp3RXFxCXmGHC 
245 1 4 |a The mathematics of logic :  |b a guide to completeness theorems and their applications /  |c Richard W. Kaye. 
260 |a Cambridge :  |b Cambridge University Press,  |c 2007. 
300 |a 1 online resource (xi, 204 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 
500 |a Includes index. 
588 0 |a Print version record. 
504 |a Includes bibliographical references (page 199) and index. 
505 0 |a Cover; Half-Title; Title; Copyright; Contents; Preface; How to read this book; 1 König's Lemma; 2 Posets and maximal elements; 3 Formal systems; 4 Deductions in posets; 5 Boolean algebras; 6 Propositional logic; 7 Valuations; 8 Filters and ideals; 9 First-order logic; 10 Completeness and compactness; 11 Model theory; 12 Nonstandard analysis; References; Index. 
520 |a This textbook rescues students from traditional, dry and uninspiring introductory courses in logic, quickly providing context using genuine mathematical applications. 
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 
650 7 |a Mathematische Logik  |2 gnd 
758 |i has work:  |a The mathematics of logic (Text)  |1 https://id.oclc.org/worldcat/entity/E39PCFPVxp6T4QpqX7VDVcjKkC  |4 https://id.oclc.org/worldcat/ontology/hasWork 
776 0 8 |i Print version:  |a Kaye, Richard (Richard W.).  |t Mathematics of logic.  |d Cambridge : Cambridge University Press, 2007  |z 9780521882194  |z 0521882192  |w (OCoLC)149011791 
856 4 0 |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=325984  |z Texto completo 
938 |a Askews and Holts Library Services  |b ASKH  |n AH13427329 
938 |a Askews and Holts Library Services  |b ASKH  |n AH37560158 
938 |a EBL - Ebook Library  |b EBLB  |n EBL325984 
938 |a ebrary  |b EBRY  |n ebr10202810 
938 |a EBSCOhost  |b EBSC  |n 206648 
938 |a ProQuest MyiLibrary Digital eBook Collection  |b IDEB  |n 108531 
938 |a YBP Library Services  |b YANK  |n 2762702 
938 |a YBP Library Services  |b YANK  |n 2770271 
938 |a YBP Library Services  |b YANK  |n 3279338 
938 |a YBP Library Services  |b YANK  |n 2733154 
994 |a 92  |b IZTAP 

Ejemplares similares