Recursion theory for metamathematics / Raymond M. Smullyan.

Saved in:
Bibliographic Details
Online Access: Full Text (via Internet Archive)
Main Author: Smullyan, Raymond M.
Format: eBook
Language:English
Published: New York : Oxford University Press, 1993.
Series:Oxford logic guides ; 22.
Subjects:
Search Result 1

Recursion theory for metamathematics / by Smullyan, Raymond M.

Published 1993
Book