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

Errata: To be compiled.Please send any errors that you notice to david.makinson@gmail.com