About
Sign in
Join
Incompleteness and Computability
An Open Logic Text
Richard Zach
—
2017
A textbook on recursive function theory and G�del's incompleteness theorems. Also covers models of arithmetic and second-order logic.
Buy
Want to read
Sign up to use
Share
0
Reviews
0
Highlights
0
Currently reading
0
Finished
0
Want to read