scientific article; zbMATH DE number 221855

MaRDI QIDQ4697297zbMATH OpenFDO

Authors Warren D. Goldfarb

Publication date 29 June 1993

zbMATH Keywords

counterexamplesnumerical boundsHerbrand TheoremGödel's correction

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Classical first-order logic (03B10)

Recommendations

• Herbrand's fundamental theorem in the eyes of Jean van Heijenoort
• scientific article; zbMATH DE number 5575850
• On two classical results in the first order logic
• scientific article; zbMATH DE number 3914292
• Herbrand's theorem and extractive proof theory

Cited in

(6)

• Herbrand's fundamental theorem in the eyes of Jean van Heijenoort
• On Herbrand's theorem
• Jean van Heijenoort and the Gödel editorial project
• Jacques Herbrand and his lemma
• Guest editor's introduction: JvH100
• Jean van Heijenoort's contributions to proof theory and its history

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4697297)