Bestellen Terug

Hoofdkenmerken

Auteur:	Muller-Stach, Stefan
Titel:	Code of Mathematics Proof and Truth
Uitgever:	Springer-Verlag Berlin and
ISBN:	9783662694824
ISBN boekversie:	9783662694831
Serie:	Mathematics Study Resources
Editie:	2024 ed.
Land van oorsprong:	Germany
Prijs:	€ 67.04
Verschijningsdatum:	04-09-2024
Bericht:	Tijdelijk niet leverbaar - levertijd onbekend

Inhoudelijke kenmerken

Categorie:	Philosophy of mathematics
Taal:	English
Geillustreerd:	51 Illustrations, black and white; XIII, 170 p. 51 illus.

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	170
Hoogte mm.:	155
Breedte mm.:	235
Dikte mm.:	14
Gewicht gr.:	290

 

Inhoud:

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.