Capa do artigo The Code Of Mathematics

The Code Of Mathematics

Proof And Truth

by Stefan Muller-Stach
Book eBook
language: english
Publisher: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG, September of 2024 ‧
50,01€
45,01€
OUT OF STOCK OR NOT AVAILABLE
Sell ​​your book
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.

The Code Of Mathematics

Proof And Truth

by Stefan Muller-Stach

Property Description
ISBN: 9783662694824
Publisher: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Release Date: September of 2024
Language: English
Dimensions: 155 x 235 x 20 mm
Cover: Softcover
Pages: 170
Format: Book
Collection: Mathematics Study Resources
Categories: Books in English > Science > Mathematics
Books in English > Others
EAN: 9783662694824

BOOKS FROM THE SAME COLLECTION

SEE MORE TITLES FROM THIS COLLECTION

STEFAN MULLER-STACH

SEE MORE TITLES BY THIS AUTHOR