Repository | Directory | Profile
Takeuti's well-ordering proof
2018
Eamon Darnell Aaron Thomas-Bolduc
in: Research in history and philosophy of mathematics, Basel : Birkhäuser