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.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
