Strong Computability and Variants of the Uniform Halting Problem. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (1971)

by G T Herman