01275nam0 22003133i 450 AQ1000452520240816062318.0026268052120131111d1987 ||||0itac50 baengusz01i xxxe z01nTheory of recursive functions and effective computabilityHartley Rogers jrCambridge, Mass.LondonThe MIT pressc1987XIX, 482 p.23 cmFunzioni recorsiveFIRNAPC270619NFunzioni computabiliFIRNAPC270620N511.3PRINCIPI GENERALI DELLA MATEMATICA. LOGICA MATEMATICA (LOGICA SIMBOLICA)14511.3LOGICA MATEMATICA (LOGICA SIMBOLICA)22Rogers, HartleyAQ1V00241307051746Rogers, Hartley <jr>SBNV064748Rogers, HartleyITIT-NA007920131111IT-BN0095 AQ10004525Biblioteca Centralizzata di Ateneo1 v.1 v. 01SALA DING 511.3 ROG.th 0102 0000008225 B A4 1 v. (3. rist. 1992)3 1994032319940323 01Theory of recursive functions and effective computability79555UNISANNIO