00957nam0-22003251i-450-99000109177040332120100218165124.00-262-68052-1000109177FED01000109177(Aleph)000109177FED0100010917720001205d1987----km-y0itay50------baengTheory of recursive functions and effective computabilityHartley Rogers, Jr.Cambridge [etc.]The MIT Pressc1987xxi, 482 p.23 cmLogicaRicorsività160Rogers,Hartley51746ITUNINARICAUNIMARCBK9900010917704033217-116.002D.S.F. 16420FI17-166.003D.S.F. 8804FI1S.7-005D.S.F. 16421FI1FI1Theory of recursive functions and effective computability79555UNINA