Degrees of unsolvability Local and global theory - Lerman, Manuel (Springer-Verlag, 1983)
Βιβλιογραφία: σσ.293-297 Περιέχει ασκήσεις