"Corrigendum to "Diagonalization and the Recursion Theorem"."

James C. Owings (1989)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics