"A modern formal logic primer: predicate theory" - читать интересную книгу автора (Teller P.)