Incompleteness and Computability by Open Logic Project (Open Logic Project)

Textbook on Gödel’s incompleteness theorems and computability theory, developed for Calgary’s Logic III course, based on the Open Logic Project. …