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

- 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. - 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. - 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?)

va>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?

Rowsity MoidAfter 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.

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

Peter SmithThat’s good news, particularly about Chang and Keisler.

Danko IlikThere is a fairly recent, and excellent, translation of the two volumes into French here