"Natural deduction: A proof-theoretical study" - читать интересную книгу автора (Dag Prawitz)