Բեռնվում է…
Homotopy type theory : Univalent foundations of mathematics /
Պահպանված է:
| Համատեղ հեղինակ: | |
|---|---|
| Ձևաչափ: | Գիրք |
| Լեզու: | English |
| Հրապարակվել է: |
[Princeton, N.J.] :
Univalent Foundations Program,
2013.
|
| Խորագրեր: | |
| Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
| LEADER | 00576nam a2200193 a 4500 | ||
|---|---|---|---|
| 001 | 1952675 | ||
| 003 | AM-YeHGA | ||
| 005 | 20240805150444.0 | ||
| 008 | 240522s2013 xxu|||||||||||00||0|eng|d | ||
| 040 | |a AM-YEHGA |c AM-YeHGA | ||
| 041 | 0 | |a eng | |
| 245 | 0 | 0 | |a Homotopy type theory : |b Univalent foundations of mathematics / |c Institute for Advanced Study. |
| 260 | |a [Princeton, N.J.] : |b Univalent Foundations Program, |c 2013. | ||
| 300 | |a 595 p. | ||
| 650 | 1 | 4 | |a Mathematics |
| 710 | 2 | |a Institute for Advanced Study | |
| 942 | |2 udc |c BK | ||
| 999 | |c 569405 | ||
| 952 | |o И II/118098 |p FL0683293 | ||