Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Natural Deduction: A Proof-Theoretical Study
Автор: Prawitz D.
This volume examines the notion of an analytic proof as a natural deduction, suggesting that the proof's value may be understood as its normal form — a concept with significant implications to proof-theoretic semantics.