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