Philosophie des mathématiques
Jacques DUBUCS, Denis BONNAY
In Précis de philosophie des sciences - 2011
Le programme de Hilbert
Kosta DOSEN
In Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Harvard 1940-1941 : Tarski, Carnap, Quine et la question d’un langage mathématique finitiste pour la science
Paolo MANCOSU
In Mathématiques et expérience. L’empirisme logique à l’épreuve (1918-1940) - 2008