TY - DATA AU - Makinson,David ED - SpringerLink (Online service) TI - Sets, Logic and Maths for Computing SN - 9781846288456 PY - 2008/// CY - London PB - Springer-Verlag London KW - Computer science KW - Computational complexity KW - Mathematics KW - Computer Science KW - Discrete Mathematics in Computer Science KW - Mathematical Logic and Formal Languages KW - Symbolic and Algebraic Manipulation KW - Probability and Statistics in Computer Science KW - Computational Mathematics and Numerical Analysis UR - http://dx.doi.org/10.1007/978-1-84628-845-6 ER -