@book{15950,
	author = {Bridges, Dauglas; Richman, Fred},
	title = {Varieties of constructive mathematics /},
	publisher = {Cambridge University Press, Cambridge,},
	year = {1987}
}