The next step after IFL?

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?

4 thoughts on “The next step after <em>IFL</em>?”

  1. 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.

Leave a Comment

Your email address will not be published. Required fields are marked *

Scroll to Top