1 - 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]

2 - 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]

3 - Model-theoretic logics
Barwise, Jon (1942-2000) (Ed.)   /   Feferman, Solomon (1928-....) (Ed.)

Cote : [05 BAR 85]

4 - Reports of the midwest category seminar. III
Mac Lane, Saunders (1909-2005) (Ed.)   /   Duskin, Kelly   /   Feferman, Solomon (1928-....)   /   Day, B. J.   /   Berthiaume, P.   /   Barr, Michael (1937-....)

Cote : [12 MAC-LAN 69]