1 - Foundations of geometry : Euclidean and Bolyai-Lobachevskian geometry, projective geometry
Borsuk, Karol (1905-1982)   /   Szmielew, Wanda (1918-1976)   /   Marquit, Erwin (Trad.)

Cote : [60 BOR 60]

2 - Algebraical and topological. Foundations of geometry : proceedings of a collouium held in Utrecht, August 1959
Freudenthal, Hans (1905-1990) (Ed.)

Cote : [60 FRE 62]

3 - Axiomatic method with special reference to geometry and physics : proceedings of an international symposium held at the University of California, Berkeley, December 26, 1957 - January 4, 1958
Henkin, Leon Albert (1921-2006) (Ed.)   /   Suppes, Patrick (1922-2014) (Ed.)   /   Tarski, Alfred (1901-1983) (Ed.)

Cote : [05 HEN 59]

4 - Collected works. 1 : Philosophy and foundations of mathematics
Brouwer, Luitzen Egbertus Jan (1881-1966)   /   Heyting, Arend (1898-1980) (Ed.)

Cote : [01 BRO 75-1]

5 - Die Methode der vollstandigen Induktion
Sominskii, Il'Ia Samouilovitch (1907-1989)

Cote : [02.1 SOM 54]

6 - Formal concept analysis : mathematical foundations
Ganter, Bernhard   /   Wille, Rudolf   /   Franze, Cornelia (Trad.)

Cote : [11 GAN 99]

7 - Introduction to logic and to the methodology of deductive sciences
Tarski, Alfred (1901-1983)   /   Tremblay, Jacques (Trad.)

Cote : [05 TAR 56]

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

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

10 - Many-valued logics
Rosser, John Barkley (1907-1989)   /   Turquette, Atwell R. (1914-....)

Cote : [05 ROS 52]