Beginning logic

What Hacker News says

1. magical_spellMay 2025
   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.
   thread
2. daviddaviddavidJan 2016
   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.

   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 van Heijenoort.

   http://www.amazon.com/Frege-Godel-Mathematical-1879-1931-Sci...

   Show morethread
3. erik998Jan 2016
   +++Beginning Logic by Lemmon. Great examples/problems to work on.
   thread
4. magical_spellNov 2024
   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''.
   thread