Some problems of definability in recursive function theory (1965)

by H Rogers
Venue:In Sets, Models and Recursion Theory