Abstract first order computability (1969)

by Y N Moschovakis
Venue:Trans. Amer. Math. Soc.,vol