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.

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

Peter SmithThanks for spotting that!

I should also refer to the whole book again in the type theory readings suggested at the end too, I think.

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

Peter SmithOh 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.