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