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