01346nam a2200337 i 450099100078486970753620020507173544.0931106s1988 ne ||| | eng 0444702660 (v.1)0444703586 (v.2)b10756929-39ule_instLE01302283ExLDip.to Matematicaeng511.3AMS 03FQA9.56.T74Troelstra, A. S.57222Constructivism in mathematics :an introduction /A. S. Troelstra ; D. van DalenAmsterdam :North-Holland,19882 v. ;23 cm.Studies in logic and the foundations of mathematics, ISSN 0049237X ;121Studies in logic and the foundations of mathematics, ISSN 0049237X ;123Constructive mathematicsDalen, Dirk van.b1075692923-02-1728-06-02991000784869707536LE013 03F TRO12 V.II (1988)V. 212013000129433le013-E0.00-l- 03030.i1085133128-06-02LE013 03F TRO12 V.I (1988)V. 112013000129440le013-E0.00-l- 04140.i1085134328-06-02Constructivism in Mathematics335176UNISALENTOle01301-01-93ma -engne 02