Sooner than I was planning, there’s now yet another update for the Teach Yourself Logic Guide. So here is Version 9.4 of the Guide (pp. iii + 72).
The main change — though it is a significant one, which is why it is worth propagating this new version ahead of schedule — is that the Guide has been reorganized to make it easier to navigate, and hopefully less daunting. Topics on the standard “mathematical logic” curriculum (of interest of mathematicians and philosophers alike) are now separated more sharply from topics likely to be more specialized interest to some philosophers. I’ve also added comments on books by Devlin, Hodel, Johnstone, and Sider.
As I’ve said before, do spread the word to anyone you think might have use for the Guide. As always, there’s a stable URL for the page which links to the latest version, http://logicmatters.net/students/tyl/. You can reliably use that link in reading lists, or on your website’s resources page for graduate students, etc.
Dear Peter,
First, all the best for 2014 !
Do you have any feedback on D. C. Goldrei’s “Propositional and Predicate Calculus”, supposedly as interesting — specifically for self-study — as his “Classic set theory” ?
Advanced thanks and kind regards,
André
Many thanks for this, André, both for the good wishes and for the reference to Goldrei’s text, which I hadn’t come across before, but which looks very promising. I will put it on my list of books to look at more carefully over the coming weeks. Kind regard, Peter
Dr. Smith,
Would you also comment on Rene Cori and Daniel Lascar’s two-volume Mathematical Logic? Thank you.
I was planning to comment on Cori & Lascar in the next (or next-but-one) update of TYL.
Some small things:
In the version history on p iii, it says December 2014 instead of 2013.
There is an inexpensive, Ishi Press, edition of Kleene’s Introduction to Metamathematics. I thought it used to be mentioned in the Guide, but I couldn’t find it in the latest version.
George Tourlakis’s Set Theory book — Vol 2 of his “a quite well-regarded double-decker logic text” — used to be mentioned in something like a footnote in the intro set theory part as something some might like, but with its coverage of forcing, I always thought it belonged, if anywhere, in the “serious set theory” section. I wonder what you think of it.
Thanks for catching the date typo! And I’ve added a ref. to the (fairly) cheap reprint of Kleene. So these corrections are now uploaded. As to Tourlakis’s double-decker logic text, that’s on my list of books to have (another) look at over the coming months — though don’t hold your breath!