LEADER 01037nam0-22003611i-450- 001 990001092580403321 010 $a0-444-70266-0 010 $a0-444-70358-6 035 $a000109258 035 $aFED01000109258 035 $a(Aleph)000109258FED01 035 $a000109258 100 $a20000920d1988----km-y0itay50------ba 101 0 $aeng 200 1 $aConstructivism in Mathematics$ean introduction$fA.S. Troelstra, D. van Dalen 210 $aAmsterdam [etc.]$cNorth-Holland$d1988 215 $a2 v.$d23 cm 225 1 $aStudies in logic and the foundations of mathematics$vvol. 121-122 300 $aVol. 1 e 2. 610 0 $aLogica 610 0 $aRicorsività 676 $a160 700 1$aTroelstra,$bAnne Sjerp$057222 702 1$aDalen,$bDirk van$f<1932- > 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001092580403321 952 $a7-261$b16483$fFI1 952 $a7-261.001$b$fFI1 959 $aFI1 996 $aConstructivism in Mathematics$9335176 997 $aUNINA DB $aING01