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
WmpsRGFDdFZjMGRIWmpoRk1uWlBWbVJPUTFOU1owd3dRVXBzYUVkek1VZHhaMWM1WjBocE5FSk1iRm9yWjJFMVUwNVNTa05aYmpoaU4zQk5ORWRCWmtZeVNEbDVNa2t4T1RNNFoyMUxSbUYxV1RSWVIzUTVUalpaUldOTFNFTnplbEp0ZWtWRlRWcHNORFo1VkRkM1NUQkRVblZLYVdwT1YxQnFTVzVrY0ZKWk5HNU1NM0JhT0RoMFZuWllOa3c0Ym1GQ05GUktWWGhJTTB4NFMwcG5WRTlVUzNCdmQySkxXSFp5YzJWMlprUnNaR016ZEdWb1FuVmhlVFJoV0cweVZrdEtWbXBFWkRocVRrVndja0V2U2xSalpVTXJkV1J1TW5jd01tMDJXbEl2Tm5kc1ZFSXpkRU40V2tkelZDdEZhM2w1VUc1RVNXZzJWRlpGZGpKUGNtNVpUV0ZaWm1RemJsTm9RVmhVTUN0YUwxSkpabFZMVDI1VlVDODRNVEpoYkVWSWIwZEpTbUpQUlUxcU56QmxUMmxvWlRSeFJIQlFNakppUkhGdFRGcFpibGszY0RaUE0wbzRha3BoVDBkNEwxRnNNV1pzUjFWbGJVNVpMMDEwUkhWcWJISkJTakZETWtSSE1HcHRkMmhuZUVad1NUTlVjVXR0UlV0dFVESnBTazFwTVRCTU5rRm5OSEZYZWpoSlVWUkdSR1JNV1haRlFVOTVXWEpVZGxwNWNqWkpUR1Z3WjNKNUsyOUdUV2h3TTFaMVMyVnZUbGszVURnemFHWnhWV0pVTkZwRlV6Vm9aVzFLUVRjMmVrRlRkeXRVWm10S2NISlhjRmx2VERFMmFuSk1jek5sTkVOUVpWWjVMMVpUU21VeVFuQnlMekpYVEhSWFpIbDRXSGgzYWxaWFdtNWlVelZKVld0M1JGSXhkazVNVFZCYU5XeFBjRWh3U0VZdlJqbHdhblIxYm5acllrdERMekpHVHpGaGNYVTJha2t3ZVc5d1JGWndNbTQwU2xOa2FIQjZUSE5HYTJNd09UTmFRVTVqTUVadGRFa3dVbk14WnpZNFNsSnNibUpXWlZSUU1FTnFkRTV5VERZM2FqUlROV0psTlVoR0t6ZG5iVVphU0hOWVdVUjJVMVE1TUUxcE4xcEtlbFpoU0dWcGJsaGphWEpLZEdVeWEwWnVhRUp6TUZscWRDOU1kekZ6Wm14bE9HSlZkbllyVG5Kb2VUZExObWtyU1hKU2VXeDJlbVZUVjBremNFbzFORkZDZEdGbWNXMW9NVWRKWTJwUmRWVjNXVzlsTWxOdU9HSlRSa3haUFE9PTpSM0NJNzVVYkZaNmlha0hYc2hvdVJ3PT0=
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 |
| Formato e Compatibilidade: | |
| 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 |