I.: Computability and Recursion, The Bulletin of Symbolic Logic, Volume 2, Number 3 (1996)

by R Soare