Recursion theory for metamathematics [electronic resource] / Raymond M. Smullyan.
Material type:
TextSeries: Oxford logic guides ; 22.Publication details: New York : Oxford University Press, 1993.Description: xiv, 163 pSubject(s): Genre/Form: LOC classification: - QA9.6 .S68 1993eb
No physical items for this record
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.
There are no comments on this title.
Log in to your account to post a comment.