And then there were five …

A printed copy of ICT has now arrived. So the fifth Big Red Logic Book — the longest yet — really exists!

I’m manfully restraining myself, at least for now, from looking at it too closely, because when I do — a pound to a penny! — I’ll immediately spot some silly typos. Why such foul-ups should leap off the page of a printed book but not from the home print-out of its PDF is one of life’s minor mysteries.

The print-on-demand quality from Amazon surely isn’t too bad at all for the price, though print density (if that’s the word) can vary, and text in Computer Modern can come out somewhat light and thin. Maybe I should swap to a version of Times, which would also slightly reduce the number of pages (but that swap isn’t quite as straightforward as it sounds). But still, the layout does on the whole does quite look attractive, methinks, though I could perhaps tinker with the size of some diagrams.

Drawing breath then, that’s IFL2 done in 2020, GWT at the very beginning of 2021, BML in 2022, then (after Part I came out in 2023), ICT finished in 2024. It would surely be tempting fate to say what comes next, but I do have fairly firm plans and still lots to say for a few years yet,  Deo volente. We shall see …

The post And then there were five … appeared first on Logic Matters.