Incompleteness and Computability

Incompleteness and Computability, An Open Introduction to Gödel’s Theorems is “Remixed by Richard Zach”.
It is a textbook on Gödel’s incompleteness theorems and computability theory, developed for Calgary’s Logic III course, based on the Open Logic Project. The book covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

Incompleteness and Computability by Richard Zach is licensed under a Creative Commons Attribution 4.0 International License.
You can download the PDF from the Open Logic builds site.
(More books available on https://builds.openlogicproject.org/)