The following pages link to (Q4325982):
Displaying 8 items.
- Is the principle of contradiction a consequence of \(x^2=x\)? (Q1653549) (← 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 conception of modern logic, in historical perspective (Q1942093) (← links)
- Herbrand's fundamental theorem in the eyes of Jean van Heijenoort (Q1942097) (← links)
- On rereading van Heijenoort's selected essays (Q1942099) (← links)
- (Q4014777) (← links)
- Calculus ratiocinator versus characteristica universalis? The two traditions in logic, revisited (Q4472744) (← links)