Deutsche Gesellschaftfür phänomenologische Forschung
Zeitschrift | Autoren
Takeuti's well-ordering proof
2018
Eamon Darnell Aaron Thomas-Bolduc
in: Research in history and philosophy of mathematics, Basel : Birkhäuser