Code of Mathematics

Proof and Truth

Häftad, Engelska, 2024

AvStefan Müller-Stach,Stefan Muller-Stach

689 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum2024-09-04
Mått155 x 235 x 14 mm
Vikt290 g
FormatHäftad
SpråkEngelska
SerieMathematics Study Resources
Antal sidor170
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783662694824
OriginaltitelDer Code der Mathematik

Tillhör följande kategorier

Matematikens filosofi inom Naturvetenskap och teknik

Mer från samma författare

Arithmetic and Geometry of Algebraic Cycles

B. Brent Gordon, James D. Lewis, Stefan Müller-Stach, Shuji Saito, Noriko Yui, James Lewis

Inbunden

2 969 kr

Arithmetic and Geometry of Algebraic Cycles

B. Brent Gordon, James D. Lewis, Stefan Müller-Stach, Shuji Saito, Noriko Yui, James Lewis

Häftad

2 969 kr

Period Mappings and Period Domains

James Carlson, Stefan Müller-Stach, Chris Peters, Stefan Müller-Stach, James (University of Utah) Carlson, Germany) Muller-Stach, Stefan (Johannes Gutenberg Universitat Mainz

Inbunden

1 489 kr

Period Mappings and Period Domains

James Carlson, Stefan Müller-Stach, Chris Peters, Stefan Müller-Stach, James (University of Utah) Carlson, Germany) Muller-Stach, Stefan (Johannes Gutenberg Universitat Mainz

Häftad

859 kr