Recursion theory
Subtitle: its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979
By: edited by F.R. Drake and S.S. Wainer
Contributors: Drake, Frank R; Wainer, S. S
Series: London Mathematical Society lecture note series -- 45; London Mathematical Society lecture note series -- 45
Publisher: Cambridge University Press
Published: 1980
Place of publication: Cambridge [Eng.]; New York
Language: eng
Number of pages: 319
Subjects: Recursion theory -- Congresses; Recursive functions -- Congresses
Notes: Includes bibliographies