The following pages link to (Q3489966):
Displaying 8 items.
- The concept of relevance and the logic diagram tradition (Q1931345) (← links)
- Guest editor's introduction: JvH100 (Q1942085) (← links)
- Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic'' (Q1942090) (← links)
- Jean van Heijenoort's contributions to proof theory and its history (Q1942094) (← links)
- Toward a visual proof system: Lewis Carroll's method of trees (Q1942098) (← links)
- GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC (Q5381029) (← links)
- Peirce and Proof: A View from the Trees (Q5878882) (← links)
- Tableaus and dual Tableaus (Q6599611) (← links)
