Recursion theory for metamathematics [electronic resource] / Raymond M. Smullyan.
By: Smullyan, Raymond M
.
Contributor(s): ebrary, Inc.
Series: Oxford logic guides: 22.Publisher: New York : Oxford University Press, 1993Description: xiv, 163 p.Subject(s): Recursion theory | Logic, Symbolic and mathematicalGenre/Form: Electronic books.Online resources: An electronic book accessible through the World Wide Web; click to view
No physical items for this record
Includes bibliographical references (p. 159-160) and index.
TSLHHL
Electronic reproduction. Palo Alto, Calif. : ebrary, 2009. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.