автор: T. A. (University of Chicago) Slaman

S. B. Cooper & T. A. Slaman: Computability, Enumerability, Unsolvability