Two notes on intuitionistic analysis - Troelstra, Anne S. 1939-2019 (1976)
Keywords: Continuity; Intuitionistic mathematics; Model theory; Nonstandard mathematical analysis