@book{8847,
	author = {Troelstra, A. S. },
	title = {Mathematical investigation of intuitionistic arithmetic and analysis},
	publisher = {Springer-Verlag},
	year = {1973},
	series = {Lecture notes in Mathematics},
	address = {Berlin}
}