TY - BOOK AU - Makinson,David TI - Sets, logic and maths for computing SN - 9781447124993 (pbk.) PY - 2012/// CY - London PB - Springer KW - Computer science KW - Mathematics KW - Informatique KW - Math�aematiques N1 - Includes index; Includes bibliographical references ER -