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
V2pkSlpYZHRXV3B5UjJneGFpdEZLMEpKV1dFMVZWVlNTa2gyY2xCek5IUXlNRWRXU2xnclpucGxSRGxLT0RSc1pEZHRha1Y1TWpob1FURnZiak5SSzBOSFZqRnZUM1JuTjFSaWNHbHZjVFZwY3pVMEwyWnFNVW95Vkd0MmJHUk1UVzVFZDFKaVdXaGhSMnRKYW5Fdk4yeGlZbVpzVFhscloydFZUa3N5WjNKeU5FNXJURkp5UldaSVJsRTRNamhYTDNWRFdGUm1jVUZuYkU1SmFFZ3ZaRTB6UVdNcmNGa3hPWE5LY3pCMk5XWndVSE5GWkZZMVVsVnJPVTFNV0VSVlZGUTNla3BxYUROM2RGRlZTWEp6U1doemNFVlRUams0WWtwd2JuUnRUMjU1VDIwd2JFWnBjMWxtTXpGc09UVkVTR2RIVGl0V1JIaHpNeXRqSzFWeVZtZ3dZbE5XY1hwVWNYVjNUSHAwVld0aE4zbzNZa0o0TmxSclpXYzJOREZOWWxoS2JuTXhZMnRFZEZGSGNuRmhLMnc1UkVKbGFUUXdPSFExZFVsd016Y3ZXVkJzT1RsU1MxTlpTRGd6UkVwSlVFTTNWbGhUYmtKdmVuUTBNRU5QYW1aV2VYVnJVVEpXZEROUE4zQk5VamhVYkU1a1RUbDVTM1JSWkc5YU9VNXdaVXB2VTJKSU16RjFZVVZWUzJrdmVVd3lOalk1TUV0dVVVaDVNVk5KTWpObVNFRnNOMWtyUzFaTlIydE5hSHBRUTNCTlNqQTBiemwwZHpjM1MxUXlLekJsUVhsS1kwdExabE0wTURGU2JXWlBjMWRWYjJabGJIVm5aWGxHYWxGdE1ERjZNbTg0VEhCMU9GZzRSbkJwYmsxR1FVTjBTRGRJUVhsWVdHeFNZazFFTjFWWWJXMVFOalJRYW1oVFZEQk5aR2h1Tm5KMlpHOVVUV2ROYVV4TGQxQllWVEZXWmtoSGN5OHlSamRwTDFwV2JrNXZSRTlNUzJjNVpHVjJjVmx6Wld0cmRrWmpWMmhyVm10d05raDJZM1o0V0hKbk9VVlFaRkZHVTI5amRVTnVXbVJpYTA5TU4wUlVVbk55UTFabVpVdDZVRmM0ZUhFdmF6WjJTRzlIVHpSdVEzTktUV1UyVDBOVlFteFNNRUk1YkVoTmRXeEdNMUF6VFd4QmQwRllOSHBWVkc5dU1XSXhkVlpQVDJsaEszTndTbTF5TW1WRWVWVkJWV2RhVVdnNE1FTTFPWEpQUkVrNE1XcDZSRlkwZEZKMU1WSlpVbHBqZG1kR1dWUXJXbUZNTVcxVU9HMWhkVnBGUFE9PTo2RXkzU3RFeCtHcGJ4cDU1OFc5QkJ3PT0=
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: | 9781316056349 |
| Editor: | CAMBRIDGE UNIVERSITY PRESS |
| Data de Lançamento: | novembro de 2014 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | PDF para ADE |
| Classificação Temática: |
eBooks em Inglês
>
Ciências Exatas e Naturais
>
Matemática
|
| EAN: | 9781316056349 |