Citations of:
Jean van Heijenoort and the Gödel Editorial Project
Logica Universalis 6 (3-4):293-299 (2012)
Add citations
You must login to add citations.
|
|
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. |