Continuity in intuitionistic set theories (1979)

by M Beeson
Venue:Logic Colloquium ’78 (North-Holland