Material Detail

Symbolic Logic: An Accessible Introduction to Serious Mathematical Logic

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 first 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 first 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.

Quality

  • User Rating
  • Comments
  • Learning Exercises
  • Bookmark Collections
  • Course ePortfolios
  • Accessibility Info

More about this material

Browse...

Disciplines with similar materials as Symbolic Logic: An Accessible Introduction to Serious Mathematical Logic
Other materials like Symbolic Logic: An Accessible Introduction to Serious Mathematical Logic

Comments

Log in to participate in the discussions or sign up if you are not already a MERLOT member.