David Makinson Sets, Logic and Maths for Computing - Springer Springer 2020 ISBN: 9783030422189 Source: EBOOK