Continuity in intuitionistic set theories
by M. Beeson
(Report, 77-06)
Department of Matematics, University of Amsterdam, 1977
Includes bibliographical references
Department of Mathematics, University of Amsterdam