Title: Degrees of unsolvability
First published: 1983
Subjects: Unsolvability (Mathematical logic)
LC classification: QA9.63