@book{39457,
	author = {Bridges, D. S. and Richman, Fred},
	title = {Varieties of constructive mathematics},
	publisher = {Cambridge University Press},
	year = {1987.},
	series = {London Mathematical Society lecture note series},
	address = {Cambridge [Cambridgeshire]},
	note = {920306}
}