Intuitionistic continuity", Nieuw Archief voor Wiskunde (3 (1967)

by A S Troelstra