خرید و دانلود نسخه کامل کتاب Categorical Models of Constructive Logic [Lecture notes]

مدل‌های طبقه‌بندی منطق سازنده [یادداشت‌های سخنرانی]

Categorical Models of Constructive Logic [Lecture notes]

نویسنده: Thomas Streicher

ناشر: 2013

سال انتشار: 2013

تعداد صفحات: 16

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 413 کیلوبایت