LEADER 00776nam0-22002891i-450-
001 990001030820403321
035   $a000103082
035   $aFED01000103082
035   $a(Aleph)000103082FED01
035   $a000103082
100   $a20000920d1970----km-y0itay50------ba
101 0 $aeng
200 1 $aNotes on constructive mathematics$fby Per Martin-Lof
210   $aStockholm$cAlmqvist & Wiksell$d1970
215   $a109 p.$d24 cm
610 0 $aLogica
610 0 $aRicorsività
676   $a160
700  1$aMartin-Löf,$bPer$f<1942- >$0346821
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001030820403321
952   $a7-147$b8071$fFI1
959   $aFI1
996   $aNotes on constructive mathematics$9339168
997   $aUNINA
DB    $aING01