Thomas-Bolduc, Aaron, none, Canada

• The Australasian Journal of Logic Vol. 19 No. 1 (2022): The Australasian Journal of Logic - Articles
  Takeuti's Well-ordering Proof
  Abstract  PDF