01037nam0-22003611i-450-9900010925804033210-444-70266-00-444-70358-6000109258FED01000109258(Aleph)000109258FED0100010925820000920d1988----km-y0itay50------baengConstructivism in Mathematicsan introductionA.S. Troelstra, D. van DalenAmsterdam [etc.]North-Holland19882 v.23 cmStudies in logic and the foundations of mathematicsvol. 121-122Vol. 1 e 2.LogicaRicorsività160Troelstra,Anne Sjerp57222Dalen,Dirk van<1932- >ITUNINARICAUNIMARCBK9900010925804033217-26116483FI17-261.001FI1FI1Constructivism in Mathematics335176UNINAING01