On definability by recursion (abstract (1956)

by R M Smullyan
Venue:Bulletin of the American Mathematical Society