The following pages link to (Q4014778):
Displaying 7 items.
- Guest editor's introduction: JvH100 (Q1942085) (← links)
- Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic'' (Q1942090) (← links)
- Historical development of modern logic (Q1942092) (← links)
- Jean van Heijenoort's contributions to proof theory and its history (Q1942094) (← links)
- Herbrand's fundamental theorem in the eyes of Jean van Heijenoort (Q1942097) (← links)
- On Walter Dubislav (Q2963974) (← links)
- Logic and Sets (Q5006818) (← links)