Details

Autor(en) / Beteiligte

• Anellis, Irving H.

Titel

Jean van Heijenoort’s Contributions to Proof Theory and Its History

Ist Teil von

• Logica universalis, 2012-12, Vol.6 (3-4), p.411-458

Ort / Verlag

Basel: SP Birkhäuser Verlag Basel

Erscheinungsjahr

2012

Link zum Volltext

Quelle

Alma/SFX Local Collection

Beschreibungen/Notizen

• Jean van Heijenoort was best known for his editorial work in the history of mathematical logic. I survey his contributions to model-theoretic proof theory, and in particular to the falsifiability tree method. This work of van Heijenoort’s is not widely known, and much of it remains unpublished. A complete list of van Heijenoort’s unpublished writings on tableaux methods and related work in proof theory is appended.