Axioms for computation theories (1971)

by Y N Moschovakis
Venue:Logic Colloquium ’69, North-Holland