Some problems of definability in recursive function theory (1965)

by Hartley Rogers
Venue:In Sets, Models and Recursion Theory (Proc. Summer School Math. Logic and Tenth Logic Colloq