Capa do artigo Code Of Mathematics
10% OFF

Code Of Mathematics eBook

Proof And Truth

by Stefan Muller-Stach
Book eBook
language: english
Publisher: Springer Berlin Heidelberg, September of 2024 ‧
66,24€
59,62€
10% OFF
IMMEDIATE AVAILABILITY
Ebook for ADE
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.

Code Of Mathematics

Proof And Truth

by Stefan Muller-Stach

Property Description
ISBN: 9783662694831
Publisher: Springer Berlin Heidelberg
Release Date: September of 2024
Language: English
Format: eBook
File Format and Compatibility:
Collection: Mathematics Study Resources
Categories: eBooks in English > Science > Mathematics
EAN: 9783662694831
Acessibilidade: Ver características de acessibilidade indicadas pelo editor

BOOKS FROM THE SAME COLLECTION

SEE MORE TITLES FROM THIS COLLECTION

STEFAN MULLER-STACH

SEE MORE TITLES BY THIS AUTHOR