Recursion theory for metamathematics / Raymond M. Smullyan.

Saved in:
Bibliographic Details
Main Author: Smullyan, Raymond M.
Format: Book
Language:English
Published: New York : Oxford University Press, 1993.
Series:Oxford logic guides ; 22
Subjects:
Description
Physical Description:xiv, 163 p. ; 25 cm.
Bibliography:Includes bibliographical references (p. 159-160) and index.
ISBN:019508232X (acid-free) :