adicionar à lista de desejos
Type Theory And Formal Proof eBook
An Introduction
idioma: inglês
Editor:
CAMBRIDGE UNIVERSITY PRESS, novembro de 2014 ‧
ver detalhes do produto
98,05€
10% DESCONTO
CARTÃO
T0hSU1UxWm1jbU5IU1hSTlpFUXlaWGsxTHpkaFUxVTFla2hZU2xNclZVZFliVmRLYzFCU1EwRllWVlpEYVd3MFExbE9WMWh6VDI5d2FYSnRZbmxaTHpSV2VWcEhRblYzYmtwTFJHcG5Uamw2YWtWS2MzSjRhMkpZTTNrd00zbzVSWGhHV1VGM2QwdE1kRkJGT0hSdE1TdDROamhYU2xSUU5VWlpZa0ZTVTFoUWMwSXlTMUF2UmtKcWMwSmlVVkpMWkROVVRHRldiMjV5WkRjelZEZDJWVzl4Ym14NVVWbFhjM1UxY0hCaWQzTXpNbFl4ZW1WSlYyOTBXR28yYUdWbGIyOWpaMHBYUWtGQ05TdGpNMUpIWkhoS1VUQnRNMjFhUkhwVVQxTk9aakZTVjIxb1lUaG1VMnh5UjA0NFdYZFplamRUTkM5RFUyUmpaSGs0UVRKUE9VeHRjRkoxYzNKeE9YVjBjelEzTmpWc1VVWTVRMDVWYW1SSVdURjRkemw1Wkhsa04yeGxhbGxEUjNCWFRsQlhPVkV2U21KTllWTmljSEpQT1ZCWVNFOXhWVXBTTjB4RVNqTnBVak5tVW1wcU5EVnNkUzlHU0VsdmJFUXZXVEE1VWpKRVFVcGlWM1o2UzFBeWVuSTNRWFJ3UjFCVGRuVkNNRUV5YmxFemRrbEpjbFE0VEhabWFWRk5VMmhDYkdFM2JsWkVXV1F2U3pZd2FtY3dkekYxVlhkcVFXRmlWMEpvYURjMFowODVaUzlvVVhrNVNtZHBVbThyVUhoYWVXeENOR3hNYVVRM05XUXJXbWxTZUdsNmFXdzJUMWMyU3pWa01HRklXR2xqYmpab1FreHllblpsYVdkcGVFOW9ZbU1yVTBsbldIZ3dhRU50U21GWlJFeFRMM2RCVURKdVlXeFlSa0UzZFRSemVUbGhVVE5oWml0YWFFZFJaMEpIV2l0TGJISmFVMUF3Y0RSdFpVUTRSSGhpT1VNd1NGUlZibE42UWs1eldHaERNRlpYYlhkTFpETXJWVXhzY1hwMlJYaGFTVXhrYUVrMlpuVjJPQzl0TDFnclVHUnRkR3BTV205eFFsTnFSRXRNT1RSV09HVkRWREIyVjNCa05YRmxkVEpPYlRkYWNYcElVMjFyVXl0aGNEZEthRlpXYmtod1pXOHhVR2gxVkhvMGNuTlNjR3h4WlZaT01WQlRjM2s0UVVreFVFeFFVbUZGYUdKbllrRnhLMjAzTkVkM1RqVkRlRWRpTVhGd1JGSlNSUzlKWVRoR1JGVnZTV1JvVlRKM1FXbDBhMVZpUVZCMFQzcEpjR1pSUFE9PTpIbFJhYm5sd1k3REhvS004b0VOZzJ3PT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This book provides a gentle step-by-step introduction in the art of formalizing mathematics on the basis of type theory. It is suitable for a broad audience, ranging from undergraduate students to researchers.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9781316053980 |
| Editor: | CAMBRIDGE UNIVERSITY PRESS |
| Data de Lançamento: | novembro de 2014 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | |
| Classificação Temática: |
eBooks em Inglês
>
Ciências Exatas e Naturais
>
Matemática
|
| EAN: | 9781316053980 |
| Acessibilidade: | Ver características de acessibilidade indicadas pelo editor |