Recursion theory for metamathematics

• Main Author: Smullyan, Raymond M.
• Format: Book
• Language: English
• Published: New York Oxford University Press 1993
• Series: Oxford logic guides 22
• Subjects: Λογική, Συμβολική και μαθηματική; Θεωρία της επαναλήψεως
• Physical Description: xiv, 163 p. 24 cm.
• Bibliography: Includes bibliographical references and index
• ISBN: 019508232X