Jean van Heijenoort and the Gödel editorial project

DOI10.1007/s11787-012-0050-0zbMath1260.03001OpenAlexW2059716174MaRDI QIDQ1942089

John W. jun. Dawson

Publication date: 15 March 2013

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-012-0050-0

zbMATH Keywords

Gödel editorial projectJean van Heijenoort

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03)

Related Items (2)

Jean van Heijenoort's contributions to proof theory and its history ⋮ On rereading van Heijenoort's selected essays

Cites Work

• The Gödel Editorial Project: A Synopsis
• Only Two Letters: The Correspondence between Herbrand and Gödel
• False lemmas in Herbrand
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Jean van Heijenoort and the Gödel editorial project