Computability And Recursion (1996)

by Robert I. Soare
Venue:BULLETIN OF SYMBOLIC LOGIC