Recursion Theory: its Generalisations and Applications
Logic Colloquium F. R Drake; Frank Robert Drake; S. S Wainer S. S. Wainer; London Mathematical Society.
Cambridge Cambridge University Press 1980
Acesso online. A biblioteca também possui exemplares impressos.