01291nam 2200361 450 00001149120050718115400.00-262-68052-120020903d1987----km-y0itay0103----baengUSTheory of recursive functions and effective computabilityHartley RogersCambridge<<The>> Mit pressc1987XXI, 482 p.23 cm.Logica matematica511.3(20. ed.)Logica matematica (Logica simbolica)03DxxMathematical logic and foundations. Computability and recursion theoryRogers,Hartley51746ITUniversità della Basilicata - B.I.A.RICAunimarc000011491Theory of recursive functions and effective computability79555UNIBASMONSCIMONOGRSCIENZEEXT0020120020903BAS01121920050601BAS011754batch0120050718BAS01105120050718BAS01111020050718BAS01114020050718BAS011154BAS01BAS01BOOKBASA5Dipartimento MatematicaGENCollezione generaleMAT4051M40512002090351Riservati