TY - BOOK AU - Makinson, David TI - Sets logic and maths for computing SN - 9781447124993 CY - New york ER -