LEADER 00870nam0-22003131i-450-
001 990001319700403321
010   $a0-444-89447-0
035   $a000131970
035   $aFED01000131970
035   $a(Aleph)000131970FED01
035   $a000131970
100   $a20000920d1992----km-y0itay50------ba
101 0 $aeng
200 1 $aRecursive functionals$fLuis E. Sanchis.
210   $aAmsterdam [etc.]$cNorth-Holland$d1992
215   $axii, 277 p.$d24 cm
225 1 $aStudies in logic and the foundations of mathematics$v131
610 0 $aTeoria della ricorsivita'
676   $a511.35
700  1$aSanchis,$bLuis E.$049002
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001319700403321
952   $aC-30-(131$b10193$fMA1
959   $aMA1
962   $a03D65
996   $aRecursive functionals$9383095
997   $aUNINA
DB    $aING01