Recursion theory for metamathematics [electronic resource] /
Raymond M. Smullyan.
- New York : Oxford University Press, 1993.
- xiv, 163 p.
- Oxford logic guides ; 22 .
- Oxford logic guides ; 22. .
Includes bibliographical references (p. 159-160) and index.
Electronic reproduction. Palo Alto, Calif. : ebrary, 2009. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.
Recursion theory. Logic, Symbolic and mathematical.