Recursion theory for metamathematics. (English) Zbl 0796.03003
Oxford Logic Guides. 22. New York: Oxford University Press. xiv, 163 p. (1993).
Reviewer: A.M.Coyne (Asheville)