A supplement to Herbrand

DOI10.2307/2270454zbMath0221.02012OpenAlexW2061457555MaRDI QIDQ5625123

John Denton, Burton Dreben

Publication date: 1966

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2270454

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items

Guest editor's introduction: JvH100 ⋮ Jean van Heijenoort's contributions to proof theory and its history ⋮ Herbrand's fundamental theorem in the eyes of Jean van Heijenoort ⋮ On connections and higher-order logic ⋮ On Herbrand's theorem

Cites Work

• False lemmas in Herbrand