Massas, Guillaume, University of California, Berkeley, United States

• The Australasian Journal of Logic Vol. 20 No. 3 (2023): The Australasian Journal of Logic - Articles
  A Semi-Constructive Approach to the Hyperreal Line
  Abstract  PDF