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

Show More

Quality

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

More about this material

Comments

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