Matemática

The Code Of Mathematics

Proof And Truth

de Stefan Muller-Stach 

Bertrand.pt - The Code Of Mathematics
idioma: Inglês
Editor: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Edição: setembro de 2024
Formatos Disponíveis:
Livro eBook
50,01€
Notifiquem-me quando disponível
RESERVAR NA LIVRARIA Livrarias

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
The Code Of Mathematics
Proof And Truth
de Stefan Muller-Stach 
ISBN:
9783662694824
Ano de edição:
09-2024
Editor:
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
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  >  Livros em Inglês  >  Ciências Exatas e Naturais  >  Matemática

Livros  >  Livros em Inglês  >  Outros

EAN:
9783662694824
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.