Buy this book
This edition doesn't have a description yet. Can you add one?
Publish Date
2013
Language
English
Buy this book
Showing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1
Homotopy Type Theory: Univalent Foundations of Mathematics
2013, The Univalent Foundations Program Institute for Advanced Study
in English
|
aaaa
|
Book Details
ID Numbers
Community Reviews (0)
Feedback?June 21, 2013 | Edited by sissou | Added new cover |
June 21, 2013 | Created by sissou | Added new book. |