Beweise und Programme : Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik

Beweise und Programme : Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik / Helmut Schwichtenberg

التفاصيل البيبلوغرافية
الحاوية / القاعدة:[BuA, 8].(2000) S. 71 - 96
المؤلف الرئيسي: Schwichtenberg, Helmut (مؤلف)
التنسيق: مقال
اللغة:German
مواد ذات صلة:In: [BuA, 8].(2000)
الوصف
الوصف غير متاح.

مواد مشابهة