@book{51715,
	author = {Heyting, A.},
	title = {Intuitionism :},
	publisher = {North-Holland,},
	year = {1966},
	address = {Amsterdam :},
	edition = {[2nd rev. ed.]},
	note = {Previous ed.: 1956.}
}