Recursion theory for metamathematics - Smullyan, Raymond M. (New York Oxford University Press, 1993)
Includes bibliographical references (p. 159-160) and index.
Keywords: Recursion theory