Conditional Remix & Share Permitted
CC BY-NC-SA
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.
- Subject:
- Arts and Humanities
- Philosophy
- Material Type:
- Textbook
- Author:
- Tony Roy
- Date Added:
- 02/02/2022