Gå direkte til innholdet
Natural Deduction
Spar

Natural Deduction

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.
Undertittel
A Proof-Theoretical Study
Forfatter
Dag Prawitz
ISBN
9780486446554
Språk
Engelsk
Vekt
145 gram
Utgivelsesdato
31.3.2006
Antall sider
113