The textbook Sets, Logic and Maths for Computing was published in paperback by Springer in 2008. A revised second edition was published on 29 February 2012.

Preface to 2nd edition of the book.

Table of contents of 2nd edition

A table of Errata has been begun, last updated on 2016-05-28. Thanks to those who contributed items. Further contributions gratefully received, also comments and suggestions for improvements. Please send items to david.makinson@gmail.com