Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 /
Logic Colloquium '79Leeds.
Drake, F. R.(Frank Robert),1936-
Wainer, S. S.
Cambridge Cambridge University Press
1980
Includes index
Recursive functions