TY - BOOK AU - David Makinson TI - Sets, Logic and Maths for Computing SN - 978-1-4471-2500-6 PY - 2012/// CY - New York PB - Springer US KW - Computer Science ER -