No, not an occasion to hang out bunting and pop the cork of some fizz. The penultimate chapter is not finished yet. But here is a first draft of the final chapter!
Context: earlier chapters of Beginning Mathematical Logic: A Study Guide introduce a range of core topics in mathematical logic. This final chapter revisits many of those topics suggesting rather more advanced readings, pressing on from the earlier introductory ones. [So this chapter replaces what was ‘Part III’ of an earlier version of the Study Guide.] It isn’t particularly exciting, then, as a stand-alone read as it mostly annotated lists of books, without the earlier arm-waving overviews of topics. And this chapter is also a bit more idiosyncratic and partial and uneven in level in its recommendations. But better than nothing, I hope. And it goes without saying that if you have some improved suggestions on a favourite topic area of yours, then now is the time to let me know!
The sections on algebras for logicians and on type theory are new, and I’d particularly welcome more advice.
Hi Peter, just something very minor, that Morten Heine Sørensen and Pawel Urzyczyn’s Lectures on the Curry-Howard Isomorphism is published by Elsevier instead of Springer.
Thanks for spotting that!
I should also refer to the whole book again in the type theory readings suggested at the end too, I think.
Hi Peter, there is another book on related areas that might worth a brief review. That is Harold Simmons’s Derivation and Computation. But I haven’t read it myself but I think Simmons usually write good textbooks.
Oh many thanks for that reminder! Yes, as I recall, it’s a good book, and I forgot about it when putting together that (to-be-revised/improved) list of books on the lambda calculus and type theory. I’ll get it off my shelves and take another look.