Recursion theory for metamathematics /

Bibliographic Details
Main Author: Smullyan, Raymond M.
Format: Book
Language:English
Published: New York : Oxford University Press, 1993.
Series:Oxford logic guides ; 22.
Subjects:
Search Result 1