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