adicionar à lista de desejos
Formal Semantics In Modern Type Theories eBook
language: english
Publisher:
WILEY, December of 2020 ‧
see product details
184,11€
10% OFF
CARD
YkRCR1EwNVdWMlI2VVdGRmFtbFhOa3hDU2xCYWFtbDBVREJpZFZaTGExSXhXRm92UTNWc2VFNUxVMVU1ZWl0blVVNDBjM3BEY0hwb1NXcERWelZhTVVGVmRESjFWRXRQT0hkcUswOVNVRGc0ZVdrM1dVUTVOMVJtUlU0MlJXcFdaRFpaTmxCM05EUkdOMmt5TUdKbGVDdDBTWGxxVDB4a1kzQXliMEpUVWl0bFJIYzJSRmwxWjNsV01VeDJNbFJuZGtOb09XczVXVzFJVG5rM1dFaEZTV3RvVTJOSGVrVTBkbGxQYmxVdlFreFpaVkZpY2xWNFNFTnBNRk5QZEdWcFRsbHljVFJTWTBJNVRsUmhTM0JHTm5kT09GUnBXREZ3UW5CbmFtZ3hXVUZvVEhnMWIwNDRiWFpNUzJsRE9VVXhNbG95YUVSV2RreHdkakJEUWpsMlpGUkxOa3B6Y1ZkTVUwTmFZbkIyVGt4dVlYVlJZbnA2YWpkMVJrUm5MMDVST0hwRVYwUnhjM2xyYVhCRmNETlFjek5RZDB0VGFXNXpiRTEyTlc5NmMwOVRkMUJvZEhaNVkydzNTWHBHY25aUWFXSXdTbkp2TkRSTWVWTlhXRXRLT1ZsT0szaElPVmxvTHpKRVUwOHlkMDVKVUVGdFZuRktWM1JvT0VkSlkzWnFPRzh6ZG5GVlptSnNkekF2U2k5RGRURklZV2hhWXk5d09EUlJVWGd2YWpadU1VSjNNRVUyTm1KMGFqUnFjRk5xUmxOdFlVTjNja3czTWxsUVVsaFJja1pSVm01bFVERkJNME5vZFhReGEwdFBiM1ZJWlhCeU9XRnllbmQxUkhkRFowNHpNVGdyU2xOcE1URkpSMEpLVVhGVGRubGhWRUZUY1hOdVpsUmFhRkZETWpkTlRVTjNOa292UTNneWN6Tk9kWGhOWWxOUVRuSnJORUpWVjI5VllsZGFUVlJFY0U5VmJtSndVVGQ0V1VKeWNYTktiR1l5VXpGVGRGZDFWVXAwY0VaR2NHVXdWbXhIZG5BM1ZGTlFUWE12YVdKNFlWTlZaVXc0VFN0SFptcFVPWEZYVXpsNU1GaFpaRVE0Ukcwd2RXVmFiMkowWVZvd1JscE5kVElySzJkQ2QwUldWMGxaTDFWb2JpdFZVbTQwZW1VdlQxTnJhMVJRTlVwb2NrTlRRVGhvVUVGcVpHTnNURTVrUTBsYUsyeFZiRTF4ZFVkVmRqaERXRll2Y0hJMWVsTjZSREZJU1VVdk1IWTFSa1JQT0RKRmFXb3pMMVJPV1hSWE5rVlpSR1V3TW04elkwMU9SaTgwUFE9PTpsVVFFY2U1VTgrNkh2eDlDMlIvSUJ3PT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
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.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9781119489214 |
| Publisher: | WILEY |
| Release Date: | December of 2020 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | |
| Categories: |
eBooks in English
>
Parenting
>
Technical Education
|
| EAN: | 9781119489214 |
| Acessibilidade: | Ver características de acessibilidade indicadas pelo editor |