TY  - BOOK
AU  - Heyting,A.
TI  - Introducción al intuicionismo
T2  - Estructura y función : El porvenir actual de la ciencia
AV  - QA9 .H46 1976
U1  - 511/.3 
PY  - 1976///
CY  - Madrid
PB  - Editorial Tecnos
KW  - Intuitionistic mathematics
KW  - Local
N1  - Translation of: Intuitionism. An introduction; Bibliography: p. [137]-148
ER  -