The following pages link to (Q3489966):
Displayed 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)
- John Cook Wilson's hanging plants: a contribution to the history of early logic trees (Q6108759) (← links)