Mathematical logic and computability

التفاصيل البيبلوغرافية
المؤلف الرئيسي: Keisler, H. Jerome
مؤلفون آخرون: Robbin, Joel, Miller, Arnold
التنسيق: كتاب
اللغة:English
منشور في: New York McGraw-Hill c1996.
الموضوعات: