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 - Many-valued logics
Rosser, John Barkley (1907-1989)   /   Turquette, Atwell R. (1914-....)

Cote : [05 ROS 52]

4 - The technique of theory construction
Woodger, Joseph Henry (1894-1981)   /   Neurath, Otto (1882-1945)   /   Carnap, Rudolf (1891-1970)   /   Morris, Charles

Cote : [05 WOO 1939]

5 - The undecidability of the domino problem
Berger, William

Cote : [05 BER 66]