LEADER 01215nam0-2200421-i-450-
001 990009494740403321
005 20120306165930.0
010   $a0-444-50205-X$bhardback
035   $a000949474
035   $aFED01000949474
035   $a(Aleph)000949474FED01
035   $a000949474
100   $a20111125d1999----km-y0itay50------ba
101 0 $aeng
102   $aNL
105   $aa---a---001yy
200 1 $aClassical recursion theory$evolume II$fP. G. Odifreddi
210   $aAmsterdam$cElsevier$d1999
215   $aXVI, 949 p.$d23 cm
225 1 $aStudies in logic and the foundations of mathematics$v143
610 0 $aComputabilità e teoria della ricorsione
610 0 $aLogica matematica e fondamenti$aEsposizione didattica
610 0 $aLogica
610 0 $aRicorsività
676   $a511.35$v21$zita
700  1$aOdifreddi,$bPiergiorgio$f<1950- >$028537
801  0$aIT$bUNINA$gREICAT$2UNIMARC
901   $aBK
912   $a990009494740403321
952   $aC-30-(143$b24949$fMA1
952   $a7-280.001$bD.S.F. 9584$fFI1
959   $aMA1
959   $aFI1
962   $a03DXX
962   $a03-02
962   $a03-01
996   $aClassical recursion theory$979079
997   $aUNINA