Introduction to Homotopy Type Theory - Egbert Rijke

Name: Introduction to Homotopy Type Theory - Egbert Rijke
Brand: Cambridge
SKU: SCCZ43033184

0 hodnocení

Výrobce: Cambridge

EAN: 9781108844161

Výrobní číslo: 9781108844161

An introduction to type theory and the univalence axiom, aimed at advanced undergraduate and graduate students of mathematics and computer science with an interest in the foundations and formalization of mathematics. Prerequisites are minimal and over 200 exercises provide ample practice material.

Cena 1 650 Kč v 1 obchodě

Obchody, které prodávají Introduction to Homotopy Type Theory - Egbert Rijke

Introduction to Homotopy Type Theory - Egbert Rijke

Do obchoduKnihy Dobrovský

1 650 Kčskladem

Zobrazit historii ceny Introduction to Homotopy Type Theory - Egbert Rijke

Historie nejnižsí ceny Introduction to Homotopy Type Theory - Egbert Rijke. Porovnání obchodů, které prodávají Introduction to Homotopy Type Theory - Egbert Rijke.