Introduction to metamathematics

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Kleene, Stephen Cole 1909-1994
التنسيق:	كتاب
اللغة:	English
منشور في:	Amsterdam North-Holland 1971.
الموضوعات:	Metamathematics.