Homotopy type theory : Univalent foundations of mathematics / Institute for Advanced Study.
Material type: TextLanguage: English Publication details: [Princeton, N.J.] : Univalent Foundations Program, 2013.Description: 595 pSubject(s):Item type | Current library | Collection | Call number | Status | Notes | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|
Գրքեր/Books | Fundamental Scientific Library | General | И II/118098 (Browse shelf(Opens below)) | Available | 30 Days Loan | FL0683293 |
Browsing Fundamental Scientific Library shelves, Collection: General Close shelf browser (Hides shelf browser)
There are no comments on this title.
Log in to your account to post a comment.