00694nam a2200205Ia 4500001000700000003000500007005001700012008004100029010002200070050001900092082001100111100003200122245009600154260003600250300001100286490006900297500005100366504003200417650003900449113867BIBL20160527183700.0930414s1976    sp       b    00110 spa    abvc00001883 //r840 aQA9b.H46 1976  a511/.310aHeyting, A.q(Arend)2Local10aIntroducción al intuicionismocA. Heyting; traducción por Víctor Sánchez de Zavala.0 aMadridbEditorial Tecnosc1976.  a150 p. 0aEstructura y función : El porvenir actual de la ciencia2Local  aTranslation of: Intuitionism. An introduction.  aBibliography: p. [137]-148. 0aIntuitionistic mathematics.2Local