… 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?)
>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?
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.
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.
That’s good news, particularly about Chang and Keisler.
There is a fairly recent, and excellent, translation of the two volumes into French here