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 - A deductive theory of space and time
Basri, Saul A.

Cote : [05 BAS 66]

3 - A survey of mathematical logic
Wang, Hao (1921-....)

Cote : [02 WAN 63]

4 - Abstract set theory
Fraenkel, Abraham Adolf (1891-1965)

Cote : [08 FRA 53]

5 - Abstract set theory - 2nd completely revised edition
Fraenkel, Abraham Adolf (1891-1965)

Cote : [08 FRA 61]

6 - An algebraic approach to non-classical logics
Rasiowa, Helena (1917-1994)

Cote : [05 RAS 74]

7 - An essay in modal logic
Wright, Georg Henrik Von (1916-2003)

Cote : [05 VON-WRI 51]

8 - Aspects of inductive logic
Hintikka, Jaakko (1929-2015) (Ed.)   /   Suppes, Patrick (1922-2014) (Ed.)

Cote : [05 HIN 66]

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

10 - Axiomatic set theory : with a historical introduction by Abraham A. Fraenkel
Bernays, Paul (1888-1977)   /   Fraenkel, Abraham Adolf (1891-1965) (Préface)

Cote : [05 BER 58]