Jean van Heijenoort and the Gödel Editorial Project
Logica Universalis 6 (3-4):293-299 (2012)
Abstract
A colleague’s personal recollections of Jean van Heijenoort’s contributions to the editing of volumes I–III of Gödel’s Collected Works and of his interactions with the other editorsDOI
10.1007/s11787-012-0050-0
My notes
Similar books and articles
Jean van Heijenoort: Kaleidoscope. [REVIEW]Anita Burdman Feferman - 2012 - Logica Universalis 6 (3-4):277-291.
Jean van Heijenoort’s Contributions to Proof Theory and Its History.Irving H. Anellis - 2012 - Logica Universalis 6 (3-4):411-458.
Editor’s Introduction to Jean van Heijenoort, Historical Development of Modern Logic.Irving H. Anellis - 2012 - Logica Universalis 6 (3-4):301-326.
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931.Jean van Heijenoort (ed.) - 1967 - Cambridge: Harvard University Press.
Frege and Gödel: Two Fundamental Texts in Mathematical Logic.Jean van Heijenoort (ed.) - 1970 - Cambridge, MA: Harvard University Press.
The gödel editorial project: A synopsis.Solomon Feferman - 2005 - Bulletin of Symbolic Logic 11 (2):132-149.
Historical Development of Modern Logic.Jean van Heijenoort - 2012 - Logica Universalis 6 (3-4):327-337.
GENERAL. The Gödel editorial project : a synopsis.Solomon Feferman - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.
Kurt Gödel: Essays for His Centennial.Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.) - 2010 - Association for Symbolic Logic.
Subject and predicate in western logic.Jean van Heijenoort - 1974 - Philosophy East and West 24 (3):253-268.
Analytics
Added to PP
2013-03-10
Downloads
55 (#216,400)
6 months
1 (#451,398)
2013-03-10
Downloads
55 (#216,400)
6 months
1 (#451,398)
Historical graph of downloads
Citations of this work
On Rereading van Heijenoort’s Selected Essays.Solomon Feferman - 2012 - Logica Universalis 6 (3-4):535-552.
Jean van Heijenoort’s Contributions to Proof Theory and Its History.Irving H. Anellis - 2012 - Logica Universalis 6 (3-4):411-458.
References found in this work
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions.Martin Davis (ed.) - 1965 - Hewlett, NY, USA: Dover Publication.
Only two letters: The correspondence between herbrand and gödel.Wilfried Sieg - 2005 - Bulletin of Symbolic Logic 11 (2):172-184.
The gödel editorial project: A synopsis.Solomon Feferman - 2005 - Bulletin of Symbolic Logic 11 (2):132-149.