Abstract first order computability I (1969)

by Y N Moschovakis
Venue:Transactions of the American Mathematical Society