LEADER 01403nam0 2200289 i 450 
001 VAN0054259
005 20230320040300.332
010   $a05-212-9465-7
010   $a978-05-212-9465-2
100   $a20061008d1980       |0itac50      ba
101   $aeng
102   $aGB
105   $a||||    |||||
200 1 $aComputability$ean introduction to recursive function theory$fNigel Cutland
210   $aCambridge$cCambridge university$d1980
215   $aXI, 251 p.$cill.$d24  cm
606   $a03D20$xRecursive functions and relations, subrecursive hierarchies [MSC 2020]$3VANC024470$2MF
620   $dCambridge$3VANL000024
700  1$aCutland$bNigel$3VANV042884$046036
712   $aCambridge university <editore>$3VANV107986$4650
801   $aIT$bSOL$c20230616$gRICA
856 4 $uhttps://books.google.it/books?id=wAstOUE36kcC&printsec=frontcover&dq=Computability+:+an+introduction+to+recursive+function+theory&hl=it&sa=X&ved=0ahUKEwjbhOvzwbPWAhWFuBQKHQ6oDuQQ6AEIKTAA#v=onepage&q&f=false$zPreview
912   $aVAN0054259
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS      03-XX                   0985        $e08   4449      I a     20061008            
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   0985        $e08   4078      I b     20061008            
996   $aComputability$9353308
997   $aUNICAMPANIA