"Логика и исчисление предикатов: Методические указания" - читать интересную книгу автора (Кацаран Т.К.)