Just to keep you occupied over the holidays …

… 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 this is remarkably cheap, and being German-less I certainly wish the project well. So I'll be sending off for a copy.

So there you are: how can you resist? (Any since those aren't going to delay us very long —  are they? — any suggestions for recent books on logic matters that I might have missed?)