scientific article; zbMATH DE number 221855

zbMATH Open0789.03002MaRDI QIDQ4697297FDOQ4697297

Authors: Warren D. Goldfarb 

Publication date: 29 June 1993

Title of this publication is not available (Why is that?)

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

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)

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)