Incompleteness and Computability

Incompleteness and Computability An Open Logic Text

Richard Zach2017
A textbook on recursive function theory and G�del's incompleteness theorems. Also covers models of arithmetic and second-order logic.
Sign up to use