автор: S. S. (University of Leeds) Wainer

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