Aaron Thomas-Bolduc
monographs X
1 Publications
Takeuti's well-ordering proof
finitistically fine?
2018
in: Research in history and philosophy of mathematics, Basel,
1 Publications
1 Publications
finitistically fine?
in: Research in history and philosophy of mathematics, Basel,
1 Publications