Sets, logic and maths for computing - Makinson, David 1941- (Springer, 2020)
Keywords: Discrete Mathematics in Computer Science; Mathematical Logic and Formal Languages; Computational Science and Engineering; Discrete Mathematics; Mathematical Logic and Foundations; Computer science—Mathematics; Mathematical logic; Computer mathematics; Discrete mathematics; Mengenlehre; Logik; Informatik; Mathematische Logik; Diskrete Mathematik; Kombinatorik