References
Eamon Darnell
Takeuti's well-ordering proof: finitistically fine?
2018
with Thomas-Bolduc Aaron
in: Research in history and philosophy of mathematics, Basel : Birkhäuser
2018
with Thomas-Bolduc Aaron
in: Research in history and philosophy of mathematics, Basel : Birkhäuser