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
T1VJd2RWRlVVSGszVFM5dlNGcEVkalpzTTNkNWFHZE1OSGh3UkZsMVlqZHVOM2xwT0ZrelZqSkRWaTlEVnprNVZWSkNZWGN4SzFwVU9YRnZjMVZ1T1dSSmNXUkhNRFJvVVRSRFltOVBaV052TlhsWlRDdFBOWGRYUkhScWRIcDBhR3MzWTBWWVQwOVZNRmN4ZVhkdmMxWm9TSE5KVmpsNFJqaGhORE5MUkdKUFFsVjVibEExVlZwVFZpdFpkMWgyT0dSdWNVeFdZV1JTYzJoell6bE1TMnBYTTNZd1JUUk9hbGx6TjNSUmVrMTNOVTV3Y1daSmJHcEZPV016WmxZNGJXdGhTVWhTZWxKaWJXdElUWGhIYjBZeVprcFBTRTloWjJkeVJtUnZLMmRTWWxneFlWUTFLM2cyV0RaVmVFaERkSE1yTDNseVJXNW9ZWGhUY25GUVVEWnJhRkV5Um1KVU9YbEtTRmxLUlhoTVVHaFFkRXhHUW1sUk1FVjNZemhQVmpkaE4yMVVOemR3TW1OTmJXUjZRek5PUVRFdlUxcGhOMmxVUTNwVVpYVnhja012VkZCSllWSlRVWE5NYTNvNGFGRlpNMEZXTW1Zd1dpOVljMVJSV1ZreVNXUlZNUzl4Um5ndlowOU5NVGhSVUVOVVNreFdVVGhDY1dwV1oydHdUbmxNUkdkRVlVOXBNM3BGUkhnNVUwOUVhMGRhVVN0bUwySlpkWEpLT1ZWcVUzVkpabVpuVlhveWJFczNRMmRaVVhoek5ubDNVa0Z5VFU0M1ZXa3pOM2RZVEdOUlRETm1UM1o0Tm1sVVJFaHpUVzlzWW1WQ00xTkxSSEJJVUhWdGNqTlJaV2hpZGtaWkwyTXpZM1JtTVhWdFJsWlpOVXBtT1hGWGRsVktiRXBZWjFCdWNWWm1UR1ZCVG5Ga1NWbHRiMmxtTVhBclVIUTRRVXAyYjFCSmNucG1PRVZYVG1ORGRtRk9SSFJJVWtWSGJtRnVUVlJGYkVsTFlVTXZWU3RvVFdwalJFZHpWbWxQWkZaelQwSndiVTVXTjJwQ2FsaHVLMm95YUU1bmJXWkZiM1k1TlZCblZVZDBSVlZOZHpGeGVFNUZWMVJRUjNNemVEaExjMHgwVm04MldWZzJORlZXWVZaaFdHNXFTbkJIZFhKS1pGZHRMekYxT0dGUEswZFhVMWh1VHl0UlNFNUNXbWRwUlM5dVYwOUxhVXQ2ZFUxRVNuUmtlblZTVVUxYUwyMXFTRFZvV0VoWlFqTXdaVEpNUVcxMlpuQnRNR2hYWVZGV2JrZFZRekVyYVZsWWNFSXdNVTFaUFE9PTpsYmhzWXd3QlNweDk5OWJhT245cFFnPT0=
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 |