1 - Philosophie des mathématiques I / Ontologie, vérité, fondements
Gandon, Sébastien (1969-....) (Ed.)   /   Smadja, Ivahn (1967-....) (Ed.)

Cote : [01.1 PHI 13-1]

2 - Introduction to mathematical philosophy
Russell, Bertrand (1872-1970)

Cote : [05 RUS 1919]

3 - Le chercheur à la recherche de lui-même : sens et limites de la recherche scientifique
Delessert, André   /   Freedman, Lawrence W.   /   Jéquier François   /   Hofstetter, Joseph

Cote : [01 DEL 84]

4 - Philosophie des mathématiques II / Logique, preuve et pratiques
Gandon, Sébastien (1969-....) (Ed.)   /   Smadja, Ivahn (1967-....) (Ed.)

Cote : [01.1 PHI 17-2]

5 - A History of Greek mathematics. Volume 1 : From Thales to Euclid
Heath, Thomas Little (1861-1940)

Cote : [01.1 HEA 1921-1]

6 - A History of Greek mathematics. Volume 2 : From Aristarchus to Diophantus
Heath, Thomas Little (1861-1940)

Cote : [01.1 HEA 1921-2]

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

Cote : [01 WAN 96]

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

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

Cote : [01 BRO 75-1]

10 - De l'intuition à la controverse. Essai sur quelques controverses entre mathematiciens
Bruter, Claude Paul (1937-....)

Cote : [02.1 BRU 87]