Բեռնվում է…
Homotopy type theory : Univalent foundations of mathematics /
Պահպանված է:
Համատեղ հեղինակ: | |
---|---|
Ձևաչափ: | Գիրք |
Լեզու: | English |
Հրապարակվել է: |
[Princeton, N.J.] :
Univalent Foundations Program,
2013.
|
Խորագրեր: | |
Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
Fundamental Scientific Library: Unknown
Դասիչ: |
И II/118098 |
---|---|
Պատճեն Unknown | Հասանելի է Տեղադրեք պահում |