David Makinson Sets, Logic and Maths for Computing - Germany Springer 2012 ISBN: 978-1-4471-2500-6 Subjects--Topical Terms: Computer ScienceSets, Logic and Maths for Computing