Just to keep you occupied over the holidays …

… and to dent your bank balances, here are three more rather sizeable logic books.

  1. First up, spotted in the CUP bookshop and snapped up, is the just-published Proofs and Computations by Helmut Schwichtenberg and Stanley S. Wainer. A mere 450 action-packed pages, this looks as if it should be an instant classic, a welcome filling of a gap in the literature on the interactions between proof theory and computability theory.
  2. Arnie Koslow told me about Lloyd Humberstone’s The Connectives which has been been out a couple of months and somehow I’d missed seeing. This one weighs in at some 1500 pages (which makes the price rather remarkably cheap). Again, on a quick browse it looks daunting but amazing.
  3. Very differently, I spotted an announcement a couple of days ago by Michael Gabbay of the publication of the first instalment of a translation of Hilbert and Bernays (or rather a bilingual text, German and English on facing pages). This only gets to p. 44 of the German text (over fifty pages of the book reprint a long essay by Wilfried Sieg on Hilbert’s proof theory). But it is again very inexpensive, and being German-less I certainly wish the project well. So I’ll be sending off for a copy, and will report back here.

So there you are: how can we resist? (Any suggestions for other recent books on logic matters that I might have missed?)

5 thoughts on “Just to keep you occupied over the holidays …”

  1. >Arnie Koslow told me about Lloyd Humberstone’s The Connectives which has been >been out a couple of months and somehow I’d missed seeing. This one weighs in at >some 1500 pages (which makes the price rather remarkably cheap). Again, on a >quick browse it looks daunting but amazing.

    Having seen this book today in our library, I completely agree; it is daunting. I first wanted to check it out but later decided that it is far too technical for me. Will you be doing a review? What would be a good strategy to read (portions of) this book?

    1. After much “look inside” browsing on Amazon, I bought a copy of Connectives. It is very large: I haven’t yet worked out where to put it. I can’t help thinking it would be better as two volumes.

  2. They aren’t new but Dover Publications will reprint Moore’s «Zermelo’s axiom of choice» and Chang’s & Kesiler’s «Model theory» at very economic prices.

Leave a Comment

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

Scroll to Top