Počet záznamů: 1
Institute for advanced study (Princeton, N. J.). Univalent Foundations of Mathematics
SYS 0339484 LBL -----nz--a22-----n--4500 003 CZ-OlKUP 005 20211228220333.8 008 211221|n|aznnnaabn-----------n-a|a------ 040 $a OLD012 $b cze $d ABA001 $e rda 110 2-
$a Institute for advanced study (Princeton, N. J.). $b Univalent Foundations of Mathematics 368 $a vysoké školy 370 $c Spojené státy americké $e Princeton, New Jersey 372 $a teorie homotopií $a matematika 377 $a eng 410 2-
$a Univalent Foundations of Mathematics 410 2-
$a Institute for Advanced Study (Princeton, N. J.). $b School of Mathematics. $b Univalent Foundations of Mathematics 410 2-
$a Institute for Advanced Study (Princeton, N. J.). $b School of Mathematics. $b Univalent Foundations Program 670 $a The Univalent Foundations Program, Institute for Advanced Study: Homotopy type theory: univalent foundations of mathematics, 2013 670 $a LC (Names), cit. 21. 12. 2021 $b autoritní forma, odkazy viz 670 $a www(Institute for Advanced Study - Univalent Foundations of Mathematics), cit. 21. 12. 2021 $b biografické údaje
Počet záznamů: 1