Symbolic Logic: An Accessible Introduction to Serious Mathematical Logic
Textbook for symbolic logic, beginning at a level appropriate for beginning students, continuing through Gödel's completeness and incompleteness theorems.
From the preface: There is, I think, a gap between what many students learn in their ﬁrst course in formal logic, and what they are expected to know for their second. The aim of this text is to integrate material from these courses and, in particular, to make serious mathematical logic accessible to students I teach. The ﬁrst parts introduce classical symbolic logic as appropriate for beginning students; the last parts build to Gödel’s completeness and ıncompleteness results. A distinctive feature of the last section is a complete development of Gödel’s second ıncompleteness theorem.