Introduction to Homotopy Type Theory
暫譯: 同倫類型理論導論
Rijke, Egbert
- 出版商: Cambridge
- 出版日期: 2025-10-31
- 售價: $2,370
- 貴賓價: 9.5 折 $2,252
- 語言: 英文
- 頁數: 383
- 裝訂: Hardcover - also called cloth, retail trade, or trade
- ISBN: 1108844162
- ISBN-13: 9781108844161
尚未上市，歡迎預購
