header
cover

2 - Introduction to metamathematics
Kleene, Stephen Cole (1909-1994)

Cote : [05 KLE 52]

cover

3 - 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

4 - 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

5 - Logic and foundations of mathematics. Dedicated to prof. A. Heyting on his 70th birthday
Dalen, Dirk Van (1932-....) (Ed.)   /   Dijkman, Jacobus Gerhardus (Ed.)   /   Kleene, Stephen Cole (1909-1994) (Ed.)

Cote : [05 DAL 68]

cover

6 - Logique mathématique
Kleene, Stephen Cole (1909-1994)   /   Largeault, Jean (1931?-1995) (Trad.)

Cote : [05 KLE 71]

cover

7 - Mathematical logic
Kleene, Stephen Cole (1909-1994)

Cote : [05 KLE 67]

cover

8 - The foundations of intuitionistic mathematics : especially in relation to recursive functions
Kleene, Stephen Cole (1909-1994)   /   Vesley, Richard Eugene (1932-....)

Cote : [05 KLE 65]

cover

9 - Two papers on the predicate calculus
Kleene, Stephen Cole (1909-1994)

Cote : [77 KLE 52]