Intuitionistic extensions of the reals (1982)

by A S Troelstra
Venue:Logic Colloquium '80 (North-Holland