Beginning logic
by E. J. Lemmon · first published 1965
4mentions
3recommended by
3HN commenters
2016–2025first – last mentioned
100% recommend
Affiliate links. As an Amazon Associate I earn from qualifying purchases.
…and Logic by Boolos, Burgess and Jeffrey. http://www.amazon.com/Computability-Logic-George-S-Boolos/dp... Another very good book on nuts and bolts proofs in both propositional and predicate logic is Beginning Logic by E. J. Lemmon. http://www.amazon.com/Beginning-Logic-E-J-Lemmon/dp/09151445... And a great collection of primary texts covering the history of modern logic is From Frege to Godel..., edited by Jean…
on “Teach Yourself Logic 2016: A Study Guide [pdf]” ↗I can recommend E.J. Lemmon's Beginning Logic as a first book. It also contains an appendix with a list of important logic books and brief description of them. I'm curious to know whether a more recent, equally well-done, list exists.
on “Using Logic in Writing” ↗+++Beginning Logic by Lemmon. Great examples/problems to work on.
on “Teach Yourself Logic 2016: A Study Guide [pdf]” ↗Related: E.J. Lemmon, in his book Beginning Logic, lists some important logic books and says that Chapter 0 of Church's Introduction to Mathematical logic ``deserves to be read several times by /all/ philosophers''.
on “Alonzo Church: Architect of computer intelligence” ↗