00801nam a2200241Ia 4500 113867 BIBL 20160527183700.0 930414s1976 sp b 00110 spa bvc00001883 //r84 EVLG QA9 .H46 1976 511/.3 511.3 H621i E Heyting, A. (Arend) 234939 Local 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 93344 Local Translation of: Intuitionism. An introduction. Bibliography: p. [137]-148. Intuitionistic mathematics. 238626 Local 95193 95193 0 0 0 511_300000000000000_H621I_E 0 evl 33259 10 10 1 2016-05-27 173892 0 511.3 H621i E 80000001231789 2016-05-27 00:00:00 r:113867 z:NCC:D 6