Jean van Heijenoort's contributions to proof theory and its history
Anellis, Irving H.
Mod. Log., Tome 2 (1992) no. 3, p. 312-335 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Jean van Heijenoort was best known for his editorial work in the history of mathematical logic. I survey van Heijenoort's 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.
Publié le : 1992-04-15
Classification:  03B10,  01A60,  01A70,  03-03,  03F07 
@article{1204834854,
     author = {Anellis, Irving H.},
     title = {Jean van Heijenoort's contributions to proof theory and its history},
     journal = {Mod. Log.},
     volume = {2},
     number = {3},
     year = {1992},
     pages = { 312-335},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1204834854}
}

Anellis, Irving H. Jean van Heijenoort's contributions to proof theory and its history. Mod. Log., Tome 2 (1992) no. 3, pp.  312-335. http://gdmltest.u-ga.fr/item/1204834854/