Introduction to Homotopy Type Theory
暫譯: 同倫類型理論導論

Rijke, Egbert

Introduction to Homotopy Type Theory
  • 出版商: Cambridge
  • 出版日期: 2025-10-31
  • 售價: $2,370
  • 貴賓價: 9.5 折 $2,252
  • 語言: 英文
  • 頁數: 383
  • 裝訂: Hardcover - also called cloth, retail trade, or trade
  • ISBN: 1108844162
  • ISBN-13: 9781108844161

    • 尚未上市，歡迎預購

商品描述

類似商品

最後瀏覽商品 (1)