Loading...

Recursion theory for metamathematics.

Bibliographic Details
Main Author: Smullyan, Raymond M.
Format: Printed Book
Language:English
Published: New York: Oxford University Press, 1993.
Subjects:
Description
Physical Description:xiv, 163p.