Recursion theory: its generalisations and applications proceedings of Logic Colloquium '79, Leeds, August 1979 (Cambridge Univ. Press, 1980)