Rajaa
Hakutulokset: 9780486446554
Rajaa
yksi hakutulos.
![Natural Deduction](https://s2.adlibris.com/images/2958543/natural-deduction.jpg)
Natural Deduction
nidottu,
2006,
englanti,
ISBN 9780486446554
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 …