David Makinson

Sets, Logic and Maths for Computing - New York Springer US 2008

978-1-84628-845-6


Computer Science