Computability and recursion (1996)

by Robert I. Soare
Venue:Bulletin of Symbolic Logic