Siirry suoraan sisältöön
Natural Deduction
Tallenna

Natural Deduction

11,90 €
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.
Alaotsikko
A Proof-Theoretical Study
Kirjailija
Dag Prawitz
ISBN
9780486446554
Kieli
englanti
Paino
145 grammaa
Julkaisupäivä
31.3.2006
Sivumäärä
113