TY  - BOOK
AU  - Heyting,A.
AU  - Sánchez de Zavala,Víctor
TI  - Introducción al intuicionismo / 
T2  - Estructura y función
PY  - 1976///]
CY  - Madrid : 
PB  - Tecnos, 
ER  -