خرید و دانلود نسخه کامل کتاب Homotopy type theory

نظریه نوع هموتوپی

Homotopy type theory

نویسنده: Egbert Rijke

ناشر: Master thesis at Utrecht University (revised), version 28 Aug 2012, 2012

سال انتشار: 2012

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

زبان: English

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

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