Recursion theory its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 - Drake, F. R. (Frank Robert) (Cambridge Cambridge University Press, 1980)
Includes bibliographies.
Includes bibliographies.
Keywords: Recursion theory -- Congresses