Makinson, David.

Sets, Logic and Maths for Computing [electronic resource] / by David Makinson. - London : Springer-Verlag London, 2008. - v.: digital - Undergraduate Topics in Computer Science, 1863-7310 .

9781846288456


Computer science
Computational complexity
Computer science--Mathematics
Computer Science
Discrete Mathematics in Computer Science
Mathematical Logic and Formal Languages
Symbolic and Algebraic Manipulation
Probability and Statistics in Computer Science
Computational Mathematics and Numerical Analysis