Introduction to Homotopy Type Theory

٣١٩٫٠٠ ر.ق.‏
+ ٩٩٫٩٩ ر.ق.‏ الشحن

Introduction to Homotopy Type Theory

البائع:
  • product image

٣١٩٫٠٠ ر.ق.‏

وفّر ٦٠٫٠٠ ر.ق.‏ (15%)

السعر الأصلي

٣٧٩٫٠٠ ر.ق.‏
متبقي في المخزون ٢ فقط
+ ٩٩٫٩٩ ر.ق.‏ الشحن

سياسة الإرجاع لمدة 14 يوما

طرق الدفع:

  • العلامة التجارية: Unbranded
تفاصيل المنتج

تفاصيل المنتج

Introduction to Homotopy Type Theory

An introduction to type theory and the univalence axiom aimed at advanced undergraduate and graduate students of mathematics and computer science with an interest in the foundations and formalization of mathematics. Prerequisites are minimal and over 200 exercises provide ample practice material.
  • العلامة التجارية: Unbranded
  • الفئة: التعليم
  • حَجْم: Hardback
  • اللغة: English
  • المؤلف: Introduction to Homotopy Type Theory
  • عدد الصفحات: 386
  • تاريخ النشر: 2025-10-25
  • الناشر/ العنوان: Cambridge University Press
  • هوية Fruugo: 528172450-1072679746
  • ISBN: 9781108844161
التوصيل

توصيل

يُرسل خلال ٤ أيام

  • STANDARD: ٩٩٫٩٩ ر.ق.‏ - التسليم بين الاثنين 23 نوفمبر 2026 – الجمعة 11 ديسمبر 2026

يُشحن من المملكة المتحدة.

الإرجاع

الإرجاع

نحن نبذل قصارى جهدنا لضمان أن تصلك المنتجات التي تطلبها بالكامل وطبقاً المواصفات التي حددتها. إلا أنه في حال تلقيك طلب غير كامل أو أغراض تختلف عن تلك التي طلبتها أو كان هناك سبب آخر يدعوك لعدم الرضاء عن الطلب، فيمكنك رد الطلب أو أي منتجات يتضمنها الطلب واسترداد ما دفعته من أجل تلك الأغراض بالكامل.

عرض سياسة الرد الكاملة