01580nam0 22003853i 450 AQ1000452520251003044041.0026268052120200213d1987 ||||0itac50 baengusz01i xxxe z01nz01ncRDAcarrierTheory of recursive functions and effective computabilityHartley Rogers jrCambridge, Mass.LondonThe MIT pressc1987XXI, 482 p.23 cmTheory of recursive functions and effective computabilityLO10301963AQ1V00241379555Funzioni recorsiveFIRNAPC270619IFunzioni computabiliFIRCFIC052682I511.3LOGICA MATEMATICA (LOGICA SIMBOLICA)14511.3LOGICA SIMBOLICA (LOGICA MATEMATICA)20511.3LOGICA MATEMATICA (LOGICA SIMBOLICA)22Funzioni algoritmicheFunzioni computabiliFunzioni algoritmicheRogers, HartleyAQ1V00241307051746Rogers, Hartley <jr>SBNV064748Rogers, HartleyITIT-00000020200213IT-BN0095 NAP 01SALA DING $AQ10004525Biblioteca Centralizzata di Ateneo1 v.1 v. 01SALA DING 511.3 ROG.th 0102 0000008225 VMA A4 1 v. (3. rist. 1992)Y 1994032319940323 01Theory of recursive functions and effective computability79555UNISANNIO