Methods of logic
by Willard Van Orman Quine · first published 1950
2mentions
2recommended by
2HN commenters
2015–2017first – last mentioned
100% recommend
Affiliate links. As an Amazon Associate I earn from qualifying purchases.
…at time, interesting mathematical trivia. This is probably the first book that got me seriously interested in computer programming. This was basically an activity book for mathematics and computers. Methods of Logic by W.V. Quine[3] - This stimulated my interest in symbolic logic and symbolic computation. I didn't read the whole book but I read enough to write a program on my HP-48 GX graphicing calculator to simplify…
on “Ask HN: Most influential books you read growing up” ↗To round out suggestions for studying logic, I recommend the following. Mathematical Logic, Set Theory and its Logic, Methods of Logic. All three of these are by Willard van Orman Quine. If you know anything about modern logic, then that is a name that you should recognize. A more accessible textbook is Sweet Reason by Tymoczko &…
on “The Open Logic Project” ↗