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