@book{119983,
	author = {Heyting, Arend},
	title = {Intuitionism},
	publisher = {North-Holland Publishing Company},
	year = {1956},
	address = {Amsterdam}
}