Heyting, A. Introducción al intuicionismo A. Heyting; traducción por Víctor Sánchez de Zavala. - Madrid Editorial Tecnos 1976. - 150 p. - Estructura y función : El porvenir actual de la ciencia . Translation of: Intuitionism. An introduction. Bibliography: p. [137]-148. LCCN: bvc00001883 //r84 Subjects--Topical Terms: Intuitionistic mathematics. LC Class. No.: QA9 / .H46 1976 Dewey Class. No.: 511/.3