It's a book! I was expecting a short paper along the lines of [0] or [1] but this is going to take a while to evaluate. Nonetheless I like the surface-level pre

It's a book! I was expecting a short paper along the lines of [0] or [1] but this is going to take a while to evaluate. Nonetheless I like the surface-level presentation and it seems like the author takes the time to carefully explain each concept in detail. [0] http://tac.mta.ca/tac/reprints/articles/15/tr15.pdf http://tac.mta.ca/tac/reprints/articles/15/tr15.pdf [1] http://r6.ca/Goedel/goedel1.html http://r6.ca/Goedel/goedel1.html