"Introduction to Mathematics of Satisfiability (Chapman & Hall Crc Studies in Informatics)" - читать интересную книгу автора (Victor W. Marek)