adicionar à lista de desejos
Code Of Mathematics eBook
Proof And Truth
Livro
eBook
idioma: inglês
Editor:
Springer Berlin Heidelberg, setembro de 2024 ‧
ver detalhes do produto
59,62€
10% DESCONTO
IMEDIATO
UVRNNFNWSk1PVnBsZWxWMWExcFFiVkZrWkRaYVN5OVpaVFJ5Vm10emQzaE1RbGx4ZDB3dlJGUmtkMmhxWVU5WmRUVkpVMVpzUWpaUlpUa3hRVGRMYWxoMlFYWnhNbFZtZUdwdlMxa3pSakJTVlVKb0x6RnhXazVTUmxWMmQyUnpNRU53VjNoVU5sbG1VR296Y1ZOUk5HZHpkR1ZGWnpSWFNGSmljMGRKU1dOT1ZITTRNMlpvY0dwTGEwdHZZMDF4Wm5rcmRXcFhWR05vT1VORWFEUnRURXhWVlhKWVJuZEdLek5ZWjJ4dVowMVNVR2gyTkVaVGRtSkxTRXN5WWxsaWFUZFljMnhxYmtOeFFVbERZVzU0T1RKMlF6QndNbFkxWkRSaE4xUm1RV05YWkhSUFdGaGphVkJaVlVsR1dFNTJkMlZQZFVWc2VrTnFNMmR6VlRCU1FtZHZTVkZ2YjFoc2VHWnRTRXhLV1hweVdrbDNObWRaT1RWUmNWaG9hR3RrUXl0V1owUldaRGxEVmpWRWMxbHVXVzEyYjJ0R1RteFVibVJ1VFhWbWIyaE9SR2RSUTFKTWEzRXpRWEp6TDFRMVJrNXpjMmc1VTBKU1ducGxlRmQzU1hoVFJsbHRPVFEyZDAxRWMzQk5XbVZ4VjJ0QmRWUTRibkZsVEVSbFFtTXpTU3RYVWxKNU0yUXhSRGRvT1NzMVdsRkRRMGhFYmxGWllXaFVUMGx0TlZwRGEwdEhiRWswUnpoeFNsZHlRbUpwV0RWbk5sTkpTSGRUUTFoaWVWUktPV04wVmpoNk1rUm1ZblYyUkVwbU4xcHZkSGhaY21wbFQwdFVVMGh0TlhZMlFrRlpWbmRNUTFsa2FXRk9VbWMxYUhGRVR6ZFFUVFZHUW1aS1UyaFNiWG8zZWpnMloyZDJWVEUxZVdaNlRGUlhUbnBHVEhaVWRXUjRRMHhwZUhWTlVYbGtha3BtV25kcFNEaHhXWHBrVUhZeVNsWTNZVlEwUml0TldVd3dkM00yOk9BYUNHU00zWHpqM1BuM3l1NENOdVE9PQ==
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
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.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9783662694831 |
| Editor: | Springer Berlin Heidelberg |
| Data de Lançamento: | setembro de 2024 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | |
| Coleção: | Mathematics Study Resources |
| Classificação Temática: |
eBooks em Inglês
>
Ciências Exatas e Naturais
>
Matemática
|
| EAN: | 9783662694831 |
| Acessibilidade: | Ver características de acessibilidade indicadas pelo editor |
LIVROS DA MESMA COLEÇÃO
-
Basic Concepts Of Nonlinear Optimization10%SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG45,01€
50,01€portes grátis -
Discrete And Algebraic StructureseBook10%Springer Berlin Heidelberg59,62€
66,24€
-
Richard Dedekind10%SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG128,37€
142,63€portes grátis -
Periods And Nori Motives10%Springer International Publishing AG124,37€ 10% CARTÃOportes grátis