IGPL
2002
13 years 7 months ago
2002
The system of natural deduction that originated with Gentzen (1934
RTA
2004
Springer
14 years 21 days 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...