💡Ny Ordreportal - Se aktuel status >>

The Code of Mathematics

Proof and Truth

Af: Stefan Muller-Stach
Kategori: Engelske textbooks
Kategori nr.: 9710
Varenr.: 3374655
| Stregkode: 9783662694824
Direkte | Leverandør: Gardners EUR
Vælg format:
PAPERBACK

Kan bestilles hos Dafolo

Leverandør

Dafolo
Lager status
  • IR Lager
  • IR Fysisk lager
  • Næste ankomstdato til IR's lager -
  • Butik bestilling
  • Resv. antal
  • Disp. lager

Beskrivelse

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.

Detaljer
  • EAN
    9783662694824
  • Vægt
    290 g
  • Disponent
    Direkte titel
  • Forfatter
    Stefan Muller-Stach
  • Forlag
    Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN
    9783662694824
  • Sprog
    Engelsk
  • Sideantal
    170
  • Udgivelsesdato
  • Format
    PAPERBACK
  • Themakode
    PBB
  • Kategori
    Engelske textbooks
  • Kategori nr
    9710
  • Lev. varenr.
    1501
  • Højde/Dybde (mm)
    235 mm
  • Bredde (mm)
    155 mm
  • Længde (mm)
    14 mm