I have added a page of suggestions of what to read after my intro. logic book. I’d be particularly interested to hear comments, take suggestions, etc. And it isn’t just a question of putting a favourite sequence of books in front of people for them to battle through, so that they can eventually jump examination hoops. There is also the matter of inducing a certain amount of that elusive desired quality we call ‘mathematical maturity’. How do we best help bring that about?
The link above (https://logicmatters.net/ifl/the-next-step-after-ifl/) causes this page (https://www.logicmatters.net/2012/02/18/the-next-step-after-ifl/) to load. I’m not sure if this is an error or some lesson on the dangers of self-reference.
More to the point, I’d just like to see the list ;)
This isn’t quite on topic, but I thought it might be worth mentioning that some very good but formerly very expensive (and in some cases virtually unavailable) books have appeared in affordable editions recently, or will appear soon.
Already available:
Kenneth Kunen, Set theory. (£ 14.50 on Amazon UK.) This is a “total rewrite” (says the preface) of his classic, graduate-level text.
Judith Roitman, Introduction to Modern Set Theory. (£ 5.75 on Amazon UK.) I think it’s one of the most interesting set theory introductions, but it’s been prohibitively expensive. This is a revised edition, and I think it may also be available from the author’s web site.
Paul Halmos, Naive Set Theory. (£ 8.06 paperback edition)
Later this year, Dover will be bringing out:
Gregory H. Moore, Zermelo’s Axiom of Choice: Its Origins, Development, and Influence
Chang and Kaisler, Model Theory, 3rd edition.
Thanks indeed for the info about the revised Kunen and the revised Roitman.