Computability and recursion (1996)

by R Soare
Venue:The Bulletin of Symbolic Logic