@book{31422,
	author = {Edwards, Harold M.},
	title = {Essays in constructive mathematics},
	publisher = {Springer},
	year = {2005},
	address = {New York}
}