Thank you for putting this together. Great read! However, it’s more than 100 pages bigger than Girle’s, and I believe a bit wider in scope. :_: You are a logic student. 64 ratings — 1,170 ratings — published 1970, avg rating 4.10 — Big thanks Professor. I would suggest The Game of Logic and Symbolic Logic by Lewis Carroll. There is a version online at the author’s website, here: http://math.mit.edu/~dspivak/teaching/sp13/CT4S–static.pdf. published 1986, avg rating 4.28 — MusicTech.net. Yeah, after I reread the introduction to your book, I realized that you might not include it for that reason. All the same, it look like you have done a very good service to people – I hope to prove that in coming days!! But what to read? 2 – I don’t really have the time to study this in depth .. but as a former mathematician, my one and only semi serious encounter with logic was reading the verbose first book of Bourbaki’s Book 1 (maybe called introduction to set theory). 130 ratings — The novel previews of the book connect a section’s content to real-life scenarios. Thanks for the great resource, I am especcially pleased that you introduced the books that deal,with mathematical topics that might be missing from an introductory Logic course like More Precisley by Steinhart, very useful. Setting up a Template project with a few tweaks here and there could save you time in the future and increase your workflow. 1,454 ratings — Appendix: Some Big Books on Mathematical Logic, The Very Short Teach Yourself Logic Guide, http://math.mit.edu/~dspivak/teaching/sp13/CT4S–static.pdf, https://www.goodreads.com/book/show/606295.Beginning_Logic, https://www.amazon.com/Set-Theory-Introduction-Real-Point/dp/1461488532/, https://www.amazon.com/Set-Theory-Cambridge-Mathematical-Textbooks/dp/1107120322, http://intrologic.stanford.edu/homepage/index.html, Category Theory: Lecture Notes and Online Books, Logical snippets (plus a little advice for students), Teach Yourself Logic: A Study Guide (and other Book Notes), About the Teach Yourself Logic Study Guide, Philosophy of mathematics — a reading list. It’s not quite out in the UK but is available from US Amazon. It was, even if very hard to read for a relatively inexperienced undergraduate like myself, immensely satisfying, to get a birds-eye view on the topics that were being introduced in my Intro to Gödel’s class with little context and great specificity. Well, in the Guide I do recommend Paul Teller’s introductory book which is freely available online. published 1972, avg rating 4.25 — I study philosophy in a continental philosophy-oriented college and, desperate as I was for advanced courses in logic, I almost cried when I found this jewel on the web (ok, maybe not, but I was very happy). I wanted to ask if you could recommend any book that takes a top-down approach to logic, starting with the greatest generality possible and only once those foundations are rigorously established moving on to more specific and applicable material. Thank you again :), Hi, published 1958, avg rating 3.78 — published 2012, avg rating 4.04 — (actually you metioned it in a footnote in IGT2) I do think there are various good reasons for maintaining traditional book publishing (though I’m open to persuasion on the point). Thank you very much for your guide. I can’t give you a view, then, though preview pages look pretty encouraging. But I do think that it should be default that academic publishers — especially those that are university presses — put a significant amount of their back catalogue into the public domain e.g. In fact, I’d say it fills a major gap in the community and is a vastly more detailed approach to the proof theory of substructural logics — and maybe even proof theory generally — than Restall’s text (which I keep coming back to, it is an amazing book). Smullyan’s … A Beginner’s Guide to Mathematical Logic (Dover Publications, 2014) is more conventional [than his puzzle books]. Also, I’m wondering what you think of Smullyan’s A Beginner’s Guide to Mathematical Logic. Do you have an opinion on the online introduction to logic course offered by Stanford? I stopped the guide where it says its not for elementary logic. Do you think it would be suitable for learning more about sequent calculi in general, and proof theory in specific? Hurley’s book is ok as an elementary text; but I would rather recommend Nick Smith’s Logic, The Laws of Truth. Hey Dr. Smith! Are there any free resources you recommend to learn elementary logic? Hi everyone But, equally, many become quite unencouraging to a poor student trying to teach himself logic from scratch when he sees their price. firstly, thank you for assembling all this information about Logic and writing the Guide. Raymond Smullyan’s «A beginner’s guide to mathematical logic», published 2002, avg rating 3.92 — published 1988, avg rating 4.13 — thank you very much for precisely pointing the difference between the books. They might complement each other well. 300 ratings — I have spent some time reading your guide, and have concluded that my knowledge of mathematical logic is restricted to some baby logic: I have finished reading (and doing all the exercises of) Patrick Suppes’ and Shirley Hill’s ‘First course in Mathematical Logic’ and have started reading G.T. Alice Ambrose and Morris Lazerowitz’s «Logic: the theory of formal inference». No gallery going, so been reading both books on particular artists and more general art history recently. I’ll hope to comment on a few of these in the next edition of TYL. I used J L Bell & M Machover’s ‘A Course in Mathematical Logic” (1977) when it first appeared as a friendlier alternative to Schoenfield. I’ve noticed a new category theory book that takes a different sort of approach: Category Theory for the Sciences by David I. Spivak (MIT Press).