Košík

  Odznačit vybrané:   0
  1. Homotopy type theory : univalent foundations of mathematics / The Univalent Foundations Program, Institute for Advanced Study.    [Princeton] : The Univalent Foundations Program, [2013]  ©2013 . xiii, 605 stran
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.