IGPL
2002
13 years 4 months ago
2002
The system of natural deduction that originated with Gentzen (1934
RTA
2004
Springer
13 years 9 months ago
2004
Springer
Logical systems in natural deduction style are usually presented in the Gentzen style. A different definition of natural deduction, that corresponds more closely to proofs in ord...