TY - BOOK AU - Makinson David TI - sets,logic and maths for computing SN - 9781447124993 AV - QK 76.9 .M35 2012 PY - 2012/// CY - New York PB - springer ER -