@book{80103,
	author = {Heyting, A. and Sánchez de Zavala, Víctor, },
	title = {Introducción al intuicionismo / },
	publisher = {Tecnos, },
	year = {[1976]},
	series = {Estructura y función},
	address = {Madrid : }
}