Mendeley出力
＜図書＞
Introduction to Homotopy Type Theory
| 責任表示 | Egbert Rijke |
|---|---|
| シリーズ | Cambridge studies in advanced mathematics ; 219 |
| データ種別 | 図書 |
| 出版情報 | Cambridge : Cambridge University Press , 2026 |
| 本文言語 | 英語 |
| 大きさ | xi, 373 pages ; 24 cm |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
: hardback | 数理 雑誌室 | RIJK/10/1 | 2026 |
|
130012025005334 |
|
書誌詳細
| 一般注記 | Content Type: text (ncrcontent), Media Type: unmediated (ncrmedia), Carrier Type: volume (ncrcarrier) Includes bibliographical references (pages 353-355) and index |
|---|---|
| 著者標目 | Rijke, Egbert author |
| 書誌ID | 1001834340 |
| ISBN | 9781108844161 |
| NCID | BD13861906 |
| 巻冊次 | : hardback ; ISBN:9781108844161 |
| 登録日 | 2025.11.21 |
| 更新日 | 2025.11.21 |