Set Theory, Logic and their Limitations by Moshé Machover
Publisher: Cambridge University Press (June 13, 1996) | ISBN: 0521474930 | Pages: 298 | DJVU | 3.08 MB
In this introduction to set theory and logic, the author discusses first order logic, and gives a rigorous axiomatic presentation of Zermelo-Fraenkel set theory. He includes many methodological remarks and explanations, and demonstrates how the basic concepts of mathematics can be reduced to set theory. He explains concepts and results of recursion theory in intuitive terms, and reaches the limitative results of Skolem, Tarski, Church and Gödel (the celebrated incompleteness theorems).