Recursion theory for metamathematics /

Bibliographic Details
Main Author: Smullyan, Raymond M.
Format: Book
Language:English
Published: Oxford : Oxford University, 1993.
Series:Oxford logic guides ; v. 22
Subjects: