"Методы алгебры логики в математической физике" - читать интересную книгу автора (Рвачев В. Л.)