01044nam0-22003371i-450-99000098552040332120070119142803.00-521-23543-X000098552FED01000098552(Aleph)000098552FED0100009855220001205d1980----km-y0itay50------baengRecursion theoryits generalisations and applicationsproceedings of Logic Colloquium '79, Leeds, August 1979edited by F.R. Drake and S.S. WainerCambridgeCambridge University Press1980319 p.23 cmLondon Mathematical Society lecture note series45LogicaRicorsività160Drake,Frank R.Wainer,Stanley S.Logic colloquium<1979 ;Leeds>441853ITUNINARICAUNIMARCBK9900009855204033217-24112310FI1FI1Recursion theory82582UNINA