Title: Degrees of unsolvability in the theory of programming languages
Subjects: Formal languages, Programming languages (Electronic computers), Recursive functions, Unsolvability (Mathematical logic)