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
67,58€
54,06€
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.

Coleções

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
20% imediato
portes grátis
Richard Dedekind
151,40€ 189,25€

Richard Dedekind

de Stefan Muller-Stach 

(0)
20% imediato
portes grátis
Periods And Nori Motives
129,77€ 162,21€

Periods And Nori Motives

de Stefan Muller-Stach e Annette Huber 

(0)
20% imediato
portes grátis
Periods And Nori Motives
129,77€ 162,21€

Periods And Nori Motives

de Stefan Muller-Stach e Annette Huber 

(0)
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.