@book{8718,
	author = {Conference on "Constructive Mathematics Las Cruces", New Mexico, Aug. 11-15, 1980 and Richman, F. ; ed.},
	title = {Constructive mathematics; proceedings of the New Mexico State University conference},
	publisher = {Springer-Verlag},
	year = {1981},
	address = {Berlin}
}