Unrestricted Use
CC BY
Textbook for Calgary's Logic II course based on the Open Logic Project. Covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and Löwenheim-Skolem theorems, Turing machines, and the undecidability of the halting problem and of first-order logic.
- Subject:
- Language, Philosophy, and Culture
- Philosophy
- Material Type:
- Textbook
- Provider:
- Open Logic Project
- Author:
- Richard Zach
- Date Added:
- 01/01/2017