Updating search results...

Search Resources

1 Result

View
Selected filters:
  • Open Logic Project
Sets, Logic, Computation
Unrestricted Use
CC BY
Rating
0.0 stars

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:
Arts and Humanities
Philosophy
Material Type:
Textbook
Provider:
Open Logic Project
Author:
Richard Zach
Date Added:
01/01/2017