adicionar à lista de desejos
Formal Semantics In Modern Type Theories eBook
idioma: inglês
Editor:
WILEY, dezembro de 2020 ‧
ver detalhes do produto
184,11€
10% DESCONTO
CARTÃO
ZUdSaldsbG5TRmRSTlZOVWRsaFJZVVZhYTBsdWRtVlZNRWhzY2xkWk9UWnVLMnAxY0hGa1oyeENiRXA2VFZSSWFVMDVVbkZwU1dvM2JWSk5TVzB6ZVhscWEyMVVaMnhFY1dzMmFUaHNOVU5xWjJKV2VqaHJTSFpQZFZJNFFsWjZhMjlhWWxWUmFEQkNhblIyZFRST1Z6QnZTMFI2WW1FMFJWZDRUMkZvWTJGYU5FMTNVbGRWTVhOVVdVZzNiek52WVdacWVVUm5RV1pJYzIweFMzWldaMEZtSzNZM1NVdzNVbTFNWlVJMFduRklSVnBsT1RodmRVMW9PR051T1hoV01tdEdUV05UYkUxYVJucExjMVpCVUdoU01YWmxaa000YlU4MlNXdHFTelpaVDBOMlRFUTRkamhNWmtoWGFUQm5kVkkzTTBKQ1JuZEplamxDYWtneFkzbEhTRTF0UzNWblZVa3JRMWhWT1RCMVpIZFNjRzUzT1hwaVUxaHpVbXRhYTNoU1JVWmtUMjh2V0ZwbkwybHliRTltV2xCMFpWRk1SQzlOVTNGNGIzSmtRVnBMYUUxSGVrMUNURVpRSzNwVlIyWmxTRWREY2xCc0wzUlRRVFJVVUhCbWR6SkthRzkzYWtaMmJrbDZaWEk0TkhBNWFFUm5UVk5GVVN0NFpWVjVSVUl4WjBabWIwZzVaakpQWlVVdllWRjVSbVJpTDNSaEwxQkVWbTVRY21aa1EyZ3JaVzFSUzBOeFZXVkVlREpTVjBScFJUVllNMlZCZEc0ek1VbEdUVEp5ZFcwcmNuazVOR3BMVTJrNVVVMVNPVEo0YnpWMlYzVk1kRmxYYmtGcWEzSnpia3RXYlRSSlpXeGllRFZVVDBGUFluQnpRVTVxVTJ4NFVqQm1aMGwzTTFGYVIzZGtjWGx0ZUZacU1FNVZSWGR4ZWxKTmIyWXZURlZtUVZGbGFUaG9ZalJvUXl0eFIyWkxOV2xGWldjM1QzUmFSWFVyZVZoRGFXbHlkbEIxYUhaWlYya3Zha2RETUdWek5rc3ZMMGhCTWpKMmVHUjZZUzlDUzNBM1dWSkZjR3d2WnpKWVUwZ3dSMlJuVmpaQ01VZDJRV2wxWWsxYVUxUXZOa1JNS3l0elRYcEtZekJYVUVkUmNEbFlhWGxPVGtWVlJVOTBhRTQ1WW1kUFdqTnNZMHBEUVVwb2RVZHlhalZUUzFnclNtcHRkRzVtTW5KR1pFOHhja05wT1d3NFVrRmpVWGxoVmtoQlpsTmFWMkpUWkM4eVVpczJXbmRZUm5ockt6aDJNRmRDWmxaQmRGTkZXR1pyUFE9PTptL0taaXFoSGhZdVNoaloyTThGODB3PT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
Modern Type Theories (MTTs), (type theories within the tradition of Martin-Lof,) have been shown to be a serious alternative to set theory in the study of mathematical foundations and have been furthermore shown to be the most suited logical languages to perform reasoning tasks.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9781119489214 |
| Editor: | WILEY |
| Data de Lançamento: | dezembro de 2020 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Classificação Temática: |
eBooks em Inglês
>
Ensino e Educação
>
Ensino Técnico
|
| EAN: | 9781119489214 |
| Acessibilidade: | Ver características de acessibilidade indicadas pelo editor |