Computability and recursion (1996)

by Robert I. Soare
Venue:BULL. SYMBOLIC LOGIC