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:

MAT

Holdings details from MAT
Call Number: 510.57 SMU
Copy Live Status Unavailable