Material Detail
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 MoreQuality
- User Rating
- Comments
- Learning Exercises
- Bookmark Collections
- Course ePortfolios
- Accessibility Info