"Sets, Logic and Maths for Computing (Undergraduate Topics in Computer Science)" - читать интересную книгу автора (David Makinson)