Gå direkt till innehållet
Natural Deduction
Spara

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.
Undertitel
A Proof-Theoretical Study
Författare
Dag Prawitz
ISBN
9780486446554
Språk
Engelska
Vikt
145 gram
Utgivningsdatum
2006-03-31
Sidor
113