Sets, Logic and Maths for Computing. (2020) - Makinson, David
No abstract available