To quote from the blurb:
The information age owes its existence to a little-known but crucial development, the theoretical study of logic and the foundations of mathematics. The Great Formal Machinery Works draws on original sources and rare archival materials to trace the history of the theories of deduction and computation that laid the logical foundations for the digital revolution.
The only name I recognised, apart from Aristotle, was Boole. I tried to read that chapter, but I’m afraid that as someone who stopped formally studying maths after I’d done my ‘O’ Levels, it was not very comprensible to me.
Therefore, I cannot really comment on the quality of the contents because I am hardly qualified to do so. I will say, however, that if you’re of a mathematical bent this could be just the book to delve into. It seems to be extremely comprehensive, and very logically set out.