Michael Detlefsen (1948-2019)

Mots-clés associés: fondements des mathématiques | Gottlob Frege | Hilbert | intuitionnisme | Kurt Gödel | logique | philosophie de la logique | philosophie des mathématiques |