L’œuvre logique de Kurt Gödel (1929-1936)
Jacques DUBUCS
In L’Âge de la science. Lectures philosophiques - 1991
Leibniz et les mathématiques
Marc PARMENTIER
In Les Philosophies et les mathématiques - 1996
Le noyau logique des mathématiques : À partir de Frege
Ali BENMAKHLOUF
In Le formalisme en action - 2013
Knowledge of Arithmetic
C. S. JENKINS
In The British Journal for the Philosophy of Science - 2005