TY - BOOK AU - Makinson David TI - Sets, logic and maths for computing U1 - D6,8(B), P8 PY - 2008/// CY - London PB - Springer KW - I I C ER -