Matemática

Introduction To Homotopy Type Theory

de Egbert (The Johns Hopkins University, Maryland) Rijke 

Bertrand.pt - Introduction To Homotopy Type Theory
idioma: Inglês
Editor: CAMBRIDGE UNIVERSITY PRESS
Edição: novembro de 2025
67,59€
60,83€
Notifiquem-me quando disponível
RESERVAR NA LIVRARIA Livrarias

An introduction to type theory and the univalence axiom, aimed at advanced undergraduate and graduate students of mathematics and computer science with an interest in the foundations and formalization of mathematics. Prerequisites are minimal and over 200 exercises provide ample practice material.

Introduction To Homotopy Type Theory
de Egbert (The Johns Hopkins University, Maryland) Rijke 
ISBN:
9781108844161
Ano de edição:
11-2025
Editor:
CAMBRIDGE UNIVERSITY PRESS
Idioma:
Inglês
Encadernação:
Capa dura
Páginas:
386
Tipo de Produto:
Livro
Coleção:
Cambridge Studies In Advanced Mathematics
Classificação Temática:
Livros  >  Livros em Inglês  >  Ciências Exatas e Naturais  >  Matemática

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