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.  The text naturally divides into two volumes, the first for reasoning in logic, the second for reasoning about it.

From the preface: There is, I think, a gap between what many students learn in their first course in formal logic, and...

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.