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