Found 2 comments on HN
pron · 2017-01-26 · Original thread
I would recommend Andrew Hodges. Read this to get a taste: Did Church and Turing Have a Thesis about Machines?[1] (spoiler alert: probably)

For the history of logic, Jean van Heijenoort's[2] annotated anthology, From Frege to Gödel[3] is fascinating.

And, BTW, I think your hunch (about Whig history) is correct.




I have been through a slew of logic texts. By far, my favorite for both theory and practice is Computability and Logic by Boolos, Burgess and Jeffrey.

Another very good book on nuts and bolts proofs in both propositional and predicate logic is Beginning Logic by E. J. Lemmon.

And a great collection of primary texts covering the history of modern logic is From Frege to Godel..., edited by Jean van Heijenoort.

Get dozens of book recommendations delivered straight to your inbox every Thursday.