LEADER 00995nam0-22003611i-450-
001 990001319710403321
010   $a0-444-70266-0
035   $a000131971
035   $aFED01000131971
035   $a(Aleph)000131971FED01
035   $a000131971
100   $a20000920d1988----km-y0itay50------ba
101 0 $aeng
200 1 $aConstructivism in Mathematics$ean introduction$fA. S. Troelstra, D. van Dalen.
210   $aAmsterdam$cNorth-Holland$d1988
215   $a2 v.
225 1 $a$v24
300   $aIn 2 volumi.
610 0 $aMatematica costruttiva
610 0 $aTeoria della dimostrabilita
676   $a511.3
700  1$aTroelstra,$bAnne Sjerp$057222
702  1$aDalen,$bDirk van$f<1932- >
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001319710403321
952   $a121-D-38$b8725$fMA1
952   $a121-D-39$b8726$fMA1
959   $aMA1
962   $a03F55
996   $aConstructivism in Mathematics$9335176
997   $aUNINA
DB    $aING01