Theories of computability. (English)
Cambridge: Cambridge University Press. ix, 251 p. \sterling 30.00, \$ 44.95 (1997).
1
Positive solutions to Post’s problem. (English)
Recursion theory week, Proc. Conf., Oberwolfach/FRG 1989, Lect. Notes Math. 1432, 33-40 (1990).
2
An alternative, priority-free, solution to Post’s problem. (English)
Mathematical foundations of computer science, Proc. 12th Symp., Bratislava/Czech. 1986, Lect. Notes Comput. Sci. 233, 493-500 (1986).
3