LEADER 01393nam0 22003013i 450 001 VAN00105323 005 20240806100728.512 010 $a04-448-7295-7 100 $a20160502d1989 |0itac50 ba 101 $aeng 102 $aNL 105 $a|||| ||||| 200 1 $aClassical recursion theory$ethe theory of functions and sets of natural numbers$fPiergiorgio Odifreddi 210 $aAmsterdam [etc.]$cElsevier$d1989 215 $aXVII, 668 p.$d23 cm. 410 1$1001VAN00023705$12001 $aStudies in logic and the foundations of mathematics$1210 $aAmsterdam$cElsevier$v125 606 $aTeoria della ricorsività$3VANC032291$2EC 620 $dAmsterdam$3VANL001716 676 $a511.35$cLogica matematica (Logica simbolica). Teoria della ricorsivita'.$v20 700 1$aOdifreddi$bPiergiorgio$3VANV004602$028537 712 $aElsevier $3VANV108024$4650 801 $aIT$bSOL$c20240906$gRICA 856 4 $uhttps://books.google.it/books?id=ahBLqshTFMwC&printsec=frontcover&hl=it$zhttps://books.google.it/books?id=ahBLqshTFMwC&printsec=frontcover&hl=it 899 $aBIBLIOTECA DEL DIPARTIMENTO DI ECONOMIA$1IT-CE0106$2VAN03 912 $aVAN00105323 950 $aBIBLIOTECA DEL DIPARTIMENTO DI ECONOMIA$d03PREST VAd7 $e03 3106 20160502 996 $aClassical recursion theory$979079 997 $aUNICAMPANIA