Recursion theory for metamathematics

• Κύριος συγγραφέας: Smullyan, Raymond M.
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: New York Oxford University Press 1993
• Σειρά: Oxford logic guides 22
• Θέματα: Λογική, Συμβολική και μαθηματική; Θεωρία της επαναλήψεως
• Φυσική περιγραφή: xiv, 163 p. 24 cm.
• Βιβλιογραφία: Includes bibliographical references and index
• ISBN: 019508232X