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.
