Axioms for the Real Numbers: A Constructive Approach - Jean S. Joseph (2018)