Introduction To Homotopy Type Theory
Editor:
CAMBRIDGE UNIVERSITY PRESS, novembro de 2025 ‧
ver detalhes do produto
60,83€
10% DESCONTO
IMEDIATO
Vm0xVE16bFdWRUpFUlc5ek1FbHBTbWhhUTJaNlZqWXpTREZ4YjJ0elVtNDNZMm93UkcxaFZsWXJZM1JxZDBVMlIzYzVlVmM1T0hwUFVqUnFZMjVrUnpkd1pVaENUbEJUZDB0VEwzTlNNVGNyT1VGNmNIRmhhVzk1VG1SMGNtb3haV2hVYjNZek5FMUlPV3RhV1RGSmJWZFdNMnM0Wm1Jek1tazFSVU5IWWtSM1JYQnJVVWR6VjJ4NWRXMTFNMU0xZG0xc2NHeEhhRWt6TkZOYVEzWkZhbTU1UTIxbWJsZDRRM0EwUm5SbGVIcDRWQzl1TXpaS1dWSjNOM05RTWl0TVlYWlBiM2RrTkhkUVRtVnNWa05YZFV0aWExQXZUeTlYWkVwSFlqSkZjRXRHTm5Oa1NVNVlNM0ZxTTNOeFYzTXhVR3BqU2xwb2MzcGtTRGx4VlZCcFIycENSVUo1YUU1aFVsTlJObEp5Wm5aR2FsZHZSVTQzUlRkQlkwaG9aSFJGUmsxR2RsbGlhbGhvUkRSYWNqVm1lQzlST1V0cGFXMVhhMEp5YjFacFNYWlVkV2RJVG5wRFQyUk5XRkp0ZFRSRVpFaFhVR3RPY3pCR2NqQkhUbU5EYlVkNGVGVkhUM1J1WVdaemRTdGpSbGxRUW1RcmVUUk1SVEZUVmtoalN5czJWaTlHWldZMWJsUnBXWHBOYzBsSFozbERURkpGUm04eE4xaHJiVXRJY0ZaYVEzVkJaalpLYTNobWFIQkhXSFZYV21OeGNXdGFLMHhxUzFGcVoyWmFjblp5YkM5RUwyOU5iM04zUVhkUVFXRmxOM1l5WkRGc1NrTjJiMUZuWjFvNFJqUkJMeXMwYkZaVFZrUlZkSHBSSzBKck9EUmhlVEU0YUZCUVUzYzJkMUJHZVhKSVZXdEJVSEpLVm1SUFdtVk1jRk40TDFGaWJrSjVNa1p5VFVGNE1GVXlaalp4YkNzM01tVkJiMlZQTlRnNE1sRklTbVJhYmxNd1p6SkZTemxrUVUxMWF6SkRkbWRQWjBnMGNERnVkWFFyZUZWUVdHNTFhbWxCWldzck5HZDBWbVExWjJ3elJXbGFablY0UVZWUmNHNUpZMjFDU3poRWVYaERNalJHUjNCMk1YaGFaMHBQVFhSaWRGZFRkVWc1ZW1kNU4yYzlQUT09OlhISDR0WkFqaURxSWFOS0dYcTJFSUE9PQ==
portes grátis
Venda o seu livro
SINOPSE
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.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9781108844161 |
| Editor: | CAMBRIDGE UNIVERSITY PRESS |
| Data de Lançamento: | novembro de 2025 |
| Encadernação: | Capa dura |
| Páginas: | 386 |
| Tipo de produto: | Livro |
| Coleção: | Cambridge Studies In Advanced Mathematics |
| Classificação Temática: |
Livros em Inglês
>
Ciências Exatas e Naturais
>
Matemática
|
| EAN: | 9781108844161 |
LIVROS DA MESMA COLEÇÃO
-
10%Spectra Of Discrete StructuresCAMBRIDGE UNIVERSITY PRESS79,08€
87,87€portes grátis -
10%Gaussian Free Field And Liouville Quantum GravityCAMBRIDGE UNIVERSITY PRESS79,07€
87,86€portes grátis