This two-volume 2003 work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly conversational lecture style that makes them equally effective for self-study or class use. Volume 1 includes formal proof techniques, a section on applications of compactness (including nonstandard analysis), a generous dose of computability and its relation to the incompleteness phenomenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen theorem.
Review of the hardback: ' ... stands among the dozen or so books that will remain within easy reach from my desk ... a highly worthwhile addition to the literature.' The Review of Modern Logic
"A thorough and complete resource for "one of the most remarkable theorems of logic." George Tourlakis' Mathematical Logic is a highly worthwhile addition the the literature."
Robert Mignone, The Review of Modern Logic
Series: Cambridge Studies in Advanced Mathematics : Book 1
Tertiary; University or College
Number Of Pages: 342
Published: 9th September 2010
Publisher: Cambridge University Press
Country of Publication: GB
Dimensions (cm): 22.9 x 15.2
Weight (kg): 0.5