The mathematics of logic : a guide to completeness theorems and their applications /
This textbook rescues students from traditional, dry and uninspiring introductory courses in logic, quickly providing context using genuine mathematical applications.
Saved in:
Main Author: | |
---|---|
Format: | Electronic eBook |
Language: | English |
Published: |
Cambridge :
Cambridge University Press,
2007.
|
Subjects: | |
Online Access: | CONNECT |
MARC
LEADER | 00000cam a2200000 a 4500 | ||
---|---|---|---|
001 | mig00005427043 | ||
006 | m o d | ||
007 | cr cnu---unuuu | ||
008 | 071116s2007 enka ob 001 0 eng d | ||
005 | 20240612125929.4 | ||
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.) | ||
035 | |a 1WRLDSHRocn181380147 | ||
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 | ||
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 | ||
049 | |a TXMM | ||
050 | 4 | |a QA9 |b .L32 2007eb | |
082 | 0 | 4 | |a 511.3 |2 22 |
084 | |a CC 2600 |2 rvk | ||
084 | |a SK 130 |2 rvk | ||
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. | ||
500 | |a EBSCO eBook Academic Comprehensive Collection North America |5 TMurS | ||
650 | 0 | |a Logic, Symbolic and mathematical. | |
730 | 0 | |a WORLDSHARE SUB RECORDS | |
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://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=206648&authtype=ip,sso&custid=s4672406 |z CONNECT |3 eBooks on EBSCOhost |t 0 |
907 | |a 4703399 |b 05-21-21 |c 07-04-20 | ||
949 | |a ho0 | ||
994 | |a 92 |b TXM | ||
998 | |a wi |d z | ||
999 | f | f | |s 91873cb5-62dd-4ca9-bc37-44939e9d15af |i 77e8a442-1e64-435e-bbbf-5ca74312a0b5 |t 0 |
952 | f | f | |a Middle Tennessee State University |b Main |c James E. Walker Library |d Electronic Resources |t 0 |e QA9 .L32 2007eb |h Library of Congress classification |