LEADER 00813nam0-22002891i-450-
001 990001007760403321
035   $a000100776
035   $aFED01000100776
035   $a(Aleph)000100776FED01
035   $a000100776
100   $a20000920d1959----km-y0itay50------ba
101 0 $aeng
200 1 $aConstructivism in Mathematics$eProceedings of the Colloquium held at Amsterdam, 1957$fedited by A. Heyting
210   $aAmsterdam$cNorth-Holland$d1959
215   $aVIII, 297 p.$d23 cm
610 0 $aLogica
610 0 $aRicorsività
676   $a160
700  1$aHeyting,$bArend$01023
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001007760403321
952   $a7-089$b3337$fFI1
959   $aFI1
996   $aConstructivism in Mathematics$9354748
997   $aUNINA
DB    $aING01