LEADER 01275nam0 22003133i 450 
001 AQ10004525
005 20240816062318.0
010   $a0262680521
100   $a20131111d1987    ||||0itac50      ba
101 | $aeng
102   $aus
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aTheory of recursive functions and effective computability$fHartley Rogers jr
210   $aCambridge, Mass.$aLondon$cThe MIT press$dc1987
215   $aXIX, 482 p.$d23 cm
606   $aFunzioni recorsive$2FIR$3NAPC270619$9N
606   $aFunzioni computabili$2FIR$3NAPC270620$9N
676   $a511.3$9PRINCIPI GENERALI DELLA MATEMATICA. LOGICA MATEMATICA (LOGICA SIMBOLICA)$v14
676   $a511.3$9LOGICA MATEMATICA (LOGICA SIMBOLICA)$v22
700  1$aRogers$b, Hartley$3AQ1V002413$4070$051746
790  1$aRogers$b, Hartley$c <jr>$3SBNV064748$zRogers, Hartley
801  3$aIT$bIT-NA0079$c20131111
850   $aIT-BN0095          
912   $aAQ10004525
950  0$aBiblioteca Centralizzata di Ateneo$b1 v.$c1 v.$d 01SALA DING 511.3                   ROG.th$e 0102 0000008225    B A4                    1 v. (3. rist. 1992)$f3 $h19940323$i19940323
977   $a 01
996   $aTheory of recursive functions and effective computability$979555
997   $aUNISANNIO