@book{95193,
	author = {Heyting, A.},
	title = {Introducción al intuicionismo},
	publisher = {Editorial Tecnos},
	year = {1976.},
	series = {Estructura y función : El porvenir actual de la ciencia},
	address = {Madrid},
	note = {Translation of: Intuitionism. An introduction.}
}