Continuity in intuitionistic set theories. Beeson, M. In M. Boffa, van Dalen, D., D. Lascar, & J. Smiley, editors, Logic Colloquium '78, Amsterdam, 1979. North-Holland.
bibtex   
@inproceedings{beeson1979b,
	address = {Amsterdam},
	author = {Michael Beeson},
	booktitle = {Logic Colloquium '78},
	date-added = {2014-11-14 17:14:38 +0000},
	date-modified = {2014-11-14 18:10:55 +0000},
	editor = {M.~Boffa and Dirk van Dalen and D.~Lascar and J.~Smiley},
	keywords = {Logic, Constructive mathematics},
	publisher = {North-Holland},
	title = {Continuity in intuitionistic set theories},
	year = {1979}}

Downloads: 0