Introduction to higher order categorical logic

محفوظ في:
التفاصيل البيبلوغرافية
المؤلف الرئيسي: Lambek, J.
التنسيق: كتاب
منشور في: Cambridge Univ. Pr. 1994
الموضوعات:
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!

UL

تفاصيل المقتنيات من UL
رقم الاستدعاء: 512.55
النسخة On Shelf