01056nam a2200313 i 450099100104102970753620020507182135.0950215s1971 ne ||| | eng 0720422396b10792843-39ule_instLE01306130ExLDip.to Matematicaeng511.3AMS 03F55QA9Heyting, A.442160Intuitionism :an introduction /A. Heyting[3rd rev. ed.]Amsterdam :North-Holland,1971viii, 147 p. ;23 cm.Studies in logic and the foundations of mathematics, ISSN 0049237XBibliography: p. [127]-141Intuitionistic mathematics.b1079284323-02-1728-06-02991001041029707536LE013 03F HEY11 (1971)12013000021102le013-E0.00-l- 03030.i1089375128-06-02Intuitionism921387UNISALENTOle01301-01-95ma -engne 01