"Sets, logic and maths for computing" - читать интересную книгу автора (David Makinson)