L’œuvre logique de Kurt Gödel (1929-1936)
Jacques DUBUCS
Dans L’Âge de la science. Lectures philosophiques - 1991
En quoi les jugements de probabilités sont-ils objectifs ?
Jacques DUBUCS
Dans L’Âge de la science. Lectures philosophiques - 1989
Logique contemporaine et formalisation
Roger MARTIN
Presses Universitaires de France - 1964
Logique mathématique
Stephen Cole KLEENE
Armand Colin - 1971
Logique mathématique
Jean-François PABION
Hermann - 1976
Cours sur les fondements des mathématiques : Cambridge, 1939
Ludwig WITTGENSTEIN, Cora DIAMOND
Trans-Europ-Repress - 1995
Gödel
Pierre CASSOU-NOGUÈS
Les Belles Lettres - 2008
Philosophie de la mécanique quantique
Jean BRICMONT, Hervé P. ZWIRN, Thierry MARTIN
Vuibert - 2009
Towards Mathematical Philosophy : Papers from the Studia Logica conference Trends in Logic IV
Sous la direction de David MAKINSON, Jacek MALINOWSKI, Heinrich WANSING
Springer Science+Business Media B.V. - 2009
Épistémologie mathématique
Henri LOMBARDI
Ellipses - 2011
Le formalisme en action : Aspects mathématiques et philosophiques
Sous la direction de Jocelyn BENOIST, Thierry PAUL
Hermann - 2013
Mécanique quantique : Du formalisme mathématique au concept philosophique
Sébastien POINAT
Hermann - 2014