101
click to vote
IGPL
2002
15 years 3 months ago
2002
The system of natural deduction that originated with Gentzen (1934
150
click to vote
RTA
2004
Springer
15 years 8 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...