Capa do artigo The Code Of Mathematics

The Code Of Mathematics

Proof And Truth

de Stefan Muller-Stach
Livro eBook
idioma: inglês
Editor: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG, setembro de 2024 ‧
67,58€
60,82€
ESGOTADO OU NÃO DISPONÍVEL
Venda o seu livro
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

de Stefan Muller-Stach

Propriedade Descrição
ISBN: 9783662694824
Editor: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Data de Lançamento: setembro de 2024
Idioma: Inglês
Dimensões: 155 x 235 x 20 mm
Encadernação: Capa mole
Páginas: 170
Tipo de produto: Livro
Coleção: Mathematics Study Resources
Classificação Temática: Livros em Inglês > Ciências Exatas e Naturais > Matemática
Livros em Inglês > Outros
EAN: 9783662694824

LIVROS DA MESMA COLEÇÃO

VER MAIS TÍTULOS DESTA COLEÇÃO

STEFAN MULLER-STACH

VER MAIS TÍTULOS DESTE AUTOR