Code of Mathematics

Code of Mathematics

Stefan Muller-Stach
a najít nejvýhodnější cenu za celou objednávku
Knihu Code of Mathematics aktuálně nelze zakoupit v žádném z porovnávaných e-shopů...
Krátký popis
Inspired by recent developments in dependent type theory and infinity categories, this book presents a history of ideas around the topics of truth, proof, equality and equivalence. The main focus of this textbook is on dependent type theory and its recent variant homotopy type theory.
Výběr knih vydavatele Springer-Verlag Berlin and Heidelberg GmbH a Co. KG
Kniha Airline Revenue Management

Airline Revenue Management

Cena od 822 Kč

  Chci koupit
Kniha 1924–1927: The Dawning of Quantum Mechanics

1924–1927: The Dawning of Quantum Mechanics

Cena od 1 322 Kč

  Chci koupit
Kniha Abstract Algebra

Abstract Algebra

Cena od 1 322 Kč

  Chci koupit
Zobrazit všechny knihy vydavatele Springer-Verlag Berlin and Heidelberg GmbH a Co. KG
Naše tipy
Kniha Bruntálsko z nebe

Bruntálsko z nebe

Cena od 490 Kč

  Chci koupit
Kniha Jíst a žít - Moderní kuchařka na dalších 100 let

Jíst a žít - Moderní kuchařka na dalších 100 let

Cena od 156 Kč

  Chci koupit
Kniha Písečníci a volání tesakody

Písečníci a volání tesakody

Cena od 556 Kč

  Chci koupit
Kniha Letní a podzimní Tradinář

Letní a podzimní Tradinář

Cena od 452 Kč

  Chci koupit
Prašina (1. díl)
Prašina (1. díl)
Vojtěch Matocha
  Chci koupit
Druh sortimentu : Kniha, Prašina (1. díl), Autoři : Vojtěch Matocha, Rok vydání : 2020,