Recursion theory for metamathematics.

التفاصيل البيبلوغرافية
المؤلف الرئيسي: Smullyan, Raymond M.
التنسيق: Printed Book
اللغة:English
منشور في: New York: Oxford University Press, 1993.
الموضوعات:
Recursion theory.
الوصف
وصف مادي:xiv, 163p.

مواد مشابهة