LEADER 01054nam a2200313 i 4500 001 991000775889707536 005 20020507173431.0 008 961210s1977 de ||| | eng 020 $a3540081321 035 $ab10755573-39ule_inst 035 $aLE01302132$9ExL 040 $aDip.to Matematica$beng 082 0 $a511.3 084 $aAMS 03D 100 1 $aMoldestad, Johan$048583 245 10$aComputations in higher types /$cJohan Moldestad 260 $aBerlin :$bSpringer-Verlag,$c1977 300 $a203 p. ;$c25 cm 490 0 $aLecture notes in mathematics,$x0075-8434 ;$v574 500 $aBibliography: p. [195]-196 500 $aIncludes index 650 0$aRecursion theory 650 0$aRecursive functions 907 $a.b10755573$b23-02-17$c28-06-02 912 $a991000775889707536 945 $aLE013 03D MOL11 (1977)$g1$i2013000067308$lle013$o-$pE0.00$q-$rl$s- $t0$u2$v0$w2$x0$y.i10849816$z28-06-02 996 $aComputations in higher types$980729 997 $aUNISALENTO 998 $ale013$b01-01-96$cm$da $e-$feng$gde $h0$i1 LEADER 00774nam0-22002651i-450 001 990002834040403321 005 20231116093910.0 035 $a000283404 035 $aFED01000283404 035 $a(Aleph)000283404FED01 100 $a20030910d1960----km-y0itay50------ba 101 0 $aita 102 $aIT 200 1 $a<>capacità di reddito nella valutazione delle richieste di fido$fC. Zanta 210 $aMilano$cGiuffrè$d1960 215 $a74 p.$d25 cm 700 1$aZanta,$bCarlo$0373722 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990002834040403321 952 $a11-161-TB$btb$fECA 952 $aC3-P05-19-RA$bS.I.$fECA 959 $aECA 996 $aCapacità di reddito nella valutazione delle richieste di fido$9417010 997 $aUNINA