@book{8849,
	author = {Troelstra, A. S.},
	title = {Principles of intuitionism; lectures presented at the summer conference on Intutionism and proof theory (1968) at SUNY},
	publisher = {Springer-Verlag},
	year = {1969},
	series = {Lecture notes in Mathematics},
	address = {Berlin}
}