"Logic, Sets, and Functions" - читать интересную книгу автора (Daniel Bonevac, Nicholas Asher, Robert Koons)