Problematic principles in constructive mathematics. Beeson, M. In van Dalen, D., D. Lascar, & J. Smiley, editors, Logic Colloquium '80, pages 11-55, Amsterdam, 1982. North-Holland.
bibtex   
@inproceedings{beeson1982c,
	address = {Amsterdam},
	author = {Michael Beeson},
	booktitle = {Logic Colloquium '80},
	date-added = {2014-11-14 21:03:24 +0000},
	date-modified = {2014-11-14 22:13:45 +0000},
	editor = {Dirk van Dalen and D.~Lascar and J.~Smiley},
	keywords = {Logic, Constructive mathematics},
	pages = {11-55},
	publisher = {North-Holland},
	title = {Problematic principles in constructive mathematics},
	year = {1982}}

Downloads: 0