False lemmas in Herbrand
From MaRDI portal
Publication:5331469
DOI10.1090/S0002-9904-1963-10990-8zbMath0126.01006WikidataQ124851631 ScholiaQ124851631MaRDI QIDQ5331469
Burton Dreben, Peter B. Andrews, Stål Aanderaa
Publication date: 1963
Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)
Related Items (9)
A Bit of History Related to Logic Based on Equality ⋮ Herbrand analyzing functions ⋮ A supplement to Herbrand ⋮ Guest editor's introduction: JvH100 ⋮ Jean van Heijenoort and the Gödel editorial project ⋮ 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
This page was built for publication: False lemmas in Herbrand