This is a fantastic resource! While the rough outline of the development of formal logic over the last 200 years (Leibniz is not always remembered) is known among people who have a reason to care, this overview comes from a programmerâ€™s perspective, which is unusual. It also goes straight to the heart of exactly how and why logic, abstract maths (eg category theory), and computing fit together, a topic which is often alluded to but which I feel is usually shrouded in mystery (which is the first point the author makes). This is something I wish I had read ten years ago, but very happy to be reading it now.

This is a fantastic resource! While the rough outline of the development of formal logic over the last 200 years (Leibniz is not always remembered) is known among people who have a reason to care, this overview comes from a programmerâ€™s perspective, which is unusual. It also goes straight to the heart of exactly how and why logic, abstract maths (eg category theory), and computing fit together, a topic which is often alluded to but which I feel is usually shrouded in mystery (which is the first point the author makes). This is something I wish I had read ten years ago, but very happy to be reading it now.