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