What books on logic (mathematical or philosophical logic) and/or philosophy of maths have been published in the first quarter of 2015? There’s John Burgess’s Rigor and Structure which I have started blogging about here. But what else has appeared so far this year?
Not that I’m lacking things to read! But I’d like to know what I’m missing, and I’m probably not alone. So maybe you would like to share any recommendations of recent titles which might be of interest to readers of Logic Matters?
There’s “Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics”
I’d very much like to read your take on Proof Theory: Sequent Calculi and Related Formalisms by Katalin Bimbó.
It’s on my list of books (eventually) to take a serious look at!
[I didn’t mention it above because I thought it was published last year. Checking, it was published August 20, 2014 according to the publishers website, though Katalin Bimbo herself lists it as 2015 on her own website.]