Colloquium on Logic, University of Leeds, England, 5-14 Aug., 1979
Recursion theory ; its generalisations and applications; proceedings of logic colloquium 79 /
- Cambridge: Cambridge University Press, 1980
- 319p.
- London Mathematical lecture note series v. 45 .