Intuitionistic Extensions of the Reals. Nieuw Archief voor Wiskunde (1980)

by A S Troelstra