فرمول بندی فرایندهای منطق محرک شهودی 1
Fibrational formulation of intuitionistic predicate logic 1
نویسنده: Makkai M.
ناشر: Notre Dame J.Formal Logic 34 p334, Part 1, 1993
سال انتشار: 1993
تعداد صفحات: 44
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 581 کیلوبایت