Posted by **MoneyRich** at Nov. 30, 2016

English | 2000 | ISBN: 0130107050 | ASIN: B007BNIXL2 | 241 Pages | PDF | 7 MB

This book covers the central topics of first-order mathematical logic in a way that can reasonably be completed in a single semester. FVom the core ideas of languages, structures, and deductions we move on to prove the Soundness and Completeness Theorems, the Compactness Theorem, and Godel's First and Second Incompleteness Theorems. There is an introduction to some topics in model theory along the way, but I have tried to keep the text tightly focused.

Posted by **ChrisRedfield** at Oct. 23, 2016

Published: 2000-05-25 | ISBN: 0387986553, 1461264464 | PDF + DJVU | 443 pages | 43.71 MB

Posted by **roxul** at July 30, 2016

English | ISBN: 0412808307 | 1997 | 440 pages | PDF | 10 MB

Posted by **enmoys** at May 21, 2016

2014 | 414 Pages | ISBN: 1614517835 | PDF | 19 MB

Posted by **step778** at April 26, 2016

2000 | pages: 360 | ISBN: 0198500483, 0198500491 | PDF | 12,1 mb

Posted by **arundhati** at Dec. 29, 2015

2010 | ISBN: 1441912207 | 320 pages | EPUB | 5 MB

Posted by **nebulae** at Dec. 28, 2015

English | ISBN: 0691123004 | 2011 | 546 pages | PDF | 3 MB

Posted by **ChrisRedfield** at Dec. 26, 2015

Published: 1973-10-20 | ISBN: 354005569X, 038705569X | PDF + DJVU | 664 pages | 31.9 MB

Posted by **ChrisRedfield** at Dec. 26, 2015

Published: 1973-02-14 | ISBN: 3540058192, 0387058192 | PDF | 244 pages | 6.99 MB

Posted by **ChrisRedfield** at Dec. 14, 2015

Published: 1975-06-27 | ISBN: 0387901094, 3540901094, 1475744919 | PDF + DJVU | 230 pages | 3.43 MB