Smullyan, Raymond M.
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.
Electronic books.
QA9.6 / .S68 1993eb
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.
Electronic books.
QA9.6 / .S68 1993eb