@book{23044,
	author = {Sanin, N. A. and Mendelson, E.},
	title = {Constructive real numbers and constructive function spaces},
	publisher = {American Mathematical Society},
	year = {1968},
	series = {Translations of Mathematical monographs},
	address = {Providence},
	note = {AMS Webpage}
}