يعرض 1 - 1 نتائج من 1 نتيجة بحث عن '"03B16, 03B65, 03B70"', وقت الاستعلام: 0.66s تنقيح النتائج
  1. 1
    تقرير
    A proof-theoretical approach to some extensions of first order quantification

    المؤلفون: Allègre, Loïc, Lacroix, Ophélie, Retoré, Christian

    مصطلحات موضوعية: Mathematics - Logic, Computer Science - Logic in Computer Science, 03B16, 03B65, 03B70

    URL الوصول: http://arxiv.org/abs/2407.09865

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء