132603

References

Aaron Thomas-Bolduc

Takeuti's well-ordering proof: finitistically fine?

2018

with Darnell Eamon

in: Research in history and philosophy of mathematics, Basel : Birkhäuser

Open Access Link