Matemática

Code Of Mathematics

Proof And Truth

de Stefan Muller-Stach 

eBook
Bertrand.pt - Code Of Mathematics
idioma: Inglês
Editor: Springer Berlin Heidelberg
Edição: setembro de 2024
Formatos Disponíveis:
Livro eBook
10%
66,24€
59,62€
Disponibilidade Imediata
EBOOK PARA ADOBE DIGITAL EDITIONS (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.

Da mesma coleção

ver +
Basic Concepts Of Nonlinear Optimization
20%
portes grátis
20% Cartão Leitor Bertrand
50,01€
Poupe 10,00€
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Discrete And Algebraic Structures
10%
66,24€ 59,62€
Springer Berlin Heidelberg
eBook
Code Of Mathematics
Proof And Truth
de Stefan Muller-Stach 
ISBN:
9783662694831
Ano de edição:
09-2024
Editor:
Springer Berlin Heidelberg
Idioma:
Inglês
Tipo de Produto:
eBook
Coleção:
Mathematics Study Resources
Formato:
ePUB para ADE i
Classificação Temática:
eBooks  >  eBooks em Inglês  >  Ciências Exatas e Naturais  >  Matemática

EAN:
9783662694831
Acessibilidade:
Ver caracteristicas de acessibilidade indicadas pelo editor
Richard Dedekind
20%
portes grátis
20% Cartão Leitor Bertrand
142,63€
Poupe 28,53€
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Periods And Nori Motives
20%
portes grátis
20% Cartão Leitor Bertrand
124,37€
Poupe 24,87€
Springer International Publishing AG
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.