1 - A logical journey : from Gödel to philosophy
Wang, Hao (1921-....)

Cote : [01 WAN 96]

2 - A philosophical essay on probabilities
Laplace, Pierre-Simon De (1749-1827)   /   Truscoot, Frederick Wilson (Ed.)   /   Emory, Frederick Lincoln (Ed.)   /   Bell, Eric Temple (1883-1960) (Preface)

Cote : [02.5 DE-LAP 51]

3 - Figures de l'infini : les mathématiques au miroir des cultures
Lévy, Tony (1943-....)

Cote : [00 LEV 87]

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

Cote : [11 GAN 99]

5 - Foudations of mathematics : symposium papers commemorating the sixtieth birthday of Kurt Gödel
Bulloff, Jack J. (Ed.)   /   Hollyoke, Thomas C. (Ed.)   /   Hahn, Samuel Wilfred (1921-....) (Ed.)   /   Gödel, Kurt (1906-1978) (Personne Honorée)

Cote : [05 BUL 69]

6 - Foundations of set theory
Fraenkel, Abraham Adolf (1891-1965)   /   Bar-Hillel, Yehoshua (1915-1975)

Cote : [05 FRA 58]

7 - Foundations of set theory - Second revised edition
Fraenkel, Abraham Adolf (1891-1965)   /   Bar-Hillel, Yehoshua (1915-1975)   /   Levy, Azriel   /   Van Dalen, Dirk (1932-....) (Collab.)

Cote : [05 FRA 73]

8 - Gödel, Escher, Bach : an eternal golden braid - 20th anniversary ed.
Hofstadter, Douglas R. (1945-....)

Cote : [02 HOF 99]

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

Cote : [05 TAR 56]

10 - L'empire mathématique
Davis, Philip J. (1923-....)   /   Hersh, Reuben (1927-....)   /   Grasset, Jean-Baptiste (Trad.)

Cote : [00 DAV 88]