Recursive Function Theory - Dekker, J. C. E. (Jacob C. E.), 1921- (Proceedings of symposia in pure mathematics, 1962)