Pages that link to "Item:Q3987173"
From MaRDI portal
The following pages link to Forty years of ``unnatural'' natural deduction and quantification: A history of first-order systems of natural deduction, from Gentzen to Copi (Q3987173):
Displaying 6 items.
- Variable declarations in natural deduction (Q861825) (← links)
- Jean van Heijenoort's conception of modern logic, in historical perspective (Q1942093) (← links)
- Toward a visual proof system: Lewis Carroll's method of trees (Q1942098) (← links)
- The calculus of natural calculation (Q2062198) (← links)
- Jaśkowski and Gentzen approaches to natural deduction and related systems (Q2702282) (← links)
- Stanisław Jaśkowski and Natural Deduction Systems (Q4611686) (← links)