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 - Histoire de l'analyse : autour de la notion de limite et de ses voisinages
Dugac, Pierre (1926-2000)   /   Kahane, Jean-Pierre (1926-2017) (Préface)   /   Bru, Bernard (1942-....) (Ed.)   /   Laurent, Roger (1933-....) (Ed.)

Cote : [01.1 DUG 03]

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

Cote : [05 RUS 1919]

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

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

Cote : [01.1 PHI 17-2]

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

Cote : [01.1 HEA 1921-1]

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

Cote : [01.1 HEA 1921-2]

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

Cote : [01 WAN 96]

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

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

Cote : [01 BRO 75-1]