header
cover

1 - Foudations of mathematics : symposium papers commemorating the sixtieth birthday of Kurt Gödel
Bulloff, Jack J. (Ed.)   /   Hollyoke, Thomas C. (Ed.)   /   Hahn, Samuel Wilfred (1921-....) (Ed.)   /   Gödel, Kurt (1906-1978) (Personne Honorée)

Cote : [05 BUL 69]

cover

2 - Kurt Gödel. Collected works. Volume I. Publications 1929-1936
Gödel, Kurt (1906-1978)   /   Feferman, Solomon (1928-....) (Ed.)   /   Dawson, John W. Jr (Ed.)   /   Kleene, Stephen Cole (1909-1994) (Ed.)   /   Moore, Gregory H. (Ed.)   /   Solovay, Robert M. (Ed.)   /   van Heijenoort, Jean (Ed.)

Cote : [02.5 GOD 86-1]

cover

3 - Kurt Gödel. Collected works. Volume II. Publications 1938-1974
Gödel, Kurt (1906-1978)   /   Feferman, Solomon (1928-....) (Ed.)   /   Dawson, John W. Jr (Ed.)   /   Kleene, Stephen Cole (1909-1994) (Ed.)   /   Moore, Gregory H. (Ed.)   /   Solovay, Robert M. (Ed.)   /   van Heijenoort, Jean (Ed.)

Cote : [02.5 GOD 90-2]

cover

4 - On formally undecidable propositions of principia mathematica and related systems
Gödel, Kurt (1906-1978)   /   Meltzer, Bernard (1916-1998) (Trad.)   /   Braithwaite, Richard Bevan (1900-1990) (Préface)

Cote : [05 GOD 62]