Computability and Recursion (1996)

by Robert I. Soare
Venue:Bulletin of Symbolic Logic