The following pages link to (Q3987173):
Displayed 5 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)
- Stanisław Jaśkowski and Natural Deduction Systems (Q4611686) (← links)