The following pages link to (Q4014783):
Displayed 4 items.
- 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 conception of modern logic, in historical perspective (Q1942093) (← links)
- Jean van Heijenoort's contributions to proof theory and its history (Q1942094) (← links)