The following pages link to False lemmas in Herbrand (Q5331469):
Displayed 9 items.
- On connections and higher-order logic (Q908896) (← links)
- Guest editor's introduction: JvH100 (Q1942085) (← links)
- Jean van Heijenoort and the Gödel editorial project (Q1942089) (← 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)
- A Bit of History Related to Logic Based on Equality (Q3454805) (← links)
- Herbrand analyzing functions (Q5625121) (← links)
- A supplement to Herbrand (Q5625123) (← links)
- On Herbrand's theorem (Q6064282) (← links)