David Makinson Sets, Logic and Maths for Computing - New York Springer US 2008 ISBN: 978-1-84628-845-6 Subjects--Topical Terms: Computer Science