Linguistique de l’écrit
Revue internationale en libre accès
Revue | Auteurs
(2010-2019)
Takeuti's well-ordering proof
2018
Eamon Darnell Aaron Thomas-Bolduc
in: Research in history and philosophy of mathematics, Basel : Birkhäuser
