"First-Order Logic and Automated Theorem Proving (Texts and Monographs in Computer Science)" - читать интересную книгу автора (Melvin Fitting)