01433nam0 22003373i 450 UBO004539420240802063432.00444872957(hardbound edition)0444894837(paperback edition)20081020d1992 ||||0itac50 baengnlz01i xxxe z01nClassical recursion theorythe theory of functions and sets of natural numbersPiergiorgio OdifreddiAmsterdam [etc.]North-Holland1992XVII, 668 p.23 cmStudies in logic and the foundations of mathematics125Bibliografia: 603-641 p.001BVE00060172001 Studies in logic and the foundations of mathematics125Teoria della ricorsivitàFIRNAPC270617N511.3PRINCIPI GENERALI DELLA MATEMATICA. LOGICA MATEMATICA (LOGICA SIMBOLICA)14511.35Logica matematica (Logica simbolica). Teoria della ricorsività22Odifreddi, PiergiorgioMILV01514307028537ITIT-NA007920081020IT-BN0095 UBO0045394Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 511.3 ODI.cl 0102 0000010525 B A4 1 v.3 1994060719940607 01Classical recursion theory79079UNISANNIO