"Natural Deduction: A Proof-Theoretical Study" - читать интересную книгу автора (Prawitz D.)