Computability and recursiveness (1996)

by Robert I Soare
Venue:Bulletin of Symbolic Logic