David Makinson

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

978-1-4471-2500-6


Computer Science