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
VEZOVGRFNW9VSHB1WW1jMlVtZG1TM00yTjBwdVVVaDZTelV5Vlc5eVZITmxXRTFXZEhkQk5WRkNjV2h0ZEdwWlpFa3hNMVl4ZERWTFl5dEVRbWw2YnpCWGVVc3ZhSEZzVEdSTFdHWTBXa2cyWjFSSVRGVTVVSEZsY1dadGNtb3dSeTlvUkRRMVQwOU5aV1ZGVURVeEswWlFZelF6ZUZZNGFGSkRZakZVYzI1UmEzcE5OelpTYWtaWFIxaFJNSHBzTmtwd1EydHFUbWhSV25NMWJVaGpla0ZMT1M5MFUwRlhSRWR3Y2xGamJuUkpRbWx6VG5sNFJtMDFhWFZGUkdKdFVVZEJVSEo1V25sWGRXSkthMHR3ZVRGdGEySTRjV05uVXl0cWVtazVhamt6ZEhORFdHTkNSRUppZVZkbFZWSklMMmx0YUd4alZHOW9LMWwzYWs5NVNrdEhWV2RoVldSWlpUa3JLek52T1ZOV1dUUmlia0ZJT1dka2JsaHlZMjVzZURKQk4wdHViRlpLVERaWGQxTXhlVzVwUlZGRFJHSnZXRFU1Y1V0RU5IQlNSemxoY21wcVdHMUhZV1V2VldKUVZpdHVVMnMyUnk4MmNuWlZOeXRSWWxCcFpUaG1ja2xsY0N0U1JGaHBaVk0zUW1aU1UwaGxXa2g2Y3pGVlYycHpUVWRNYzBkT2JrOUdTVlJGT0ZsbmQySmxSRzB2UW05YVN6RXhXSGwyUjI1a1RqUmFVMkY0ZUdabFVucEhSblp5WkV4T1ZVUkdaVkpESzB0MUswcHBOMVpxU25OYVdVVnBiRUpsVkhNMllrTktUR1pHUXpBNVIyTnlNMjA0YTJOM1VIUm1MMnhGYzBkaWVEZHpZbUpLUW5CbmJYaEpibFZaU0ZWYWNIZFhSelZwUlVFeFJHMXVURUpuWlVWWGNWbEVLMVl2Y1ZGdlpuTlpWemd3TjFwcVVHMVlOM1kwTTJWVVNGZFZNVUZxU1hOeFozRlpkMmRpTVRsMFNFWTRLM3BoSzFCamFqQkxOVE50ZWl0WmQxWXljek42TlRZNVQyOXRkM2xPVDB4YVJYZFNaVnBRT0dGWVNEZG5WRGQyTUM5YWJERldaR2h3WjNwMWVISTRLM05MVEhOYVEyUm1UMDl2WkRKRmNWWjZabXRZUm0wclQwRjRRMnd2WjJWMUwzbEJibHAxVUVzMGNUbEZObU5xU1d0b2N6QXZUa0V5YWl0eVpUTkpkMFJhVHpWc2RFZzFlbWgwWW5wMUwxcE9VamN3UkhwdFFYaGpNbmxNUTFsSmEydHZNWEFyZUVFM04wcFdTVTFWUFE9PTpiQVN4TjVCT29PT1VZd3F0MmVtTlNnPT0=
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.
DETeBook com proteção para wookreaderILS
| Property | Description |
|---|---|
| ISBN: | 9781119489214 |
| Publisher: | WILEY |
| Release Date: | December of 2020 |
| Language: | English |
| Format: | eBook |
| Categories: |
eBooks in English
>
Parenting
>
Technical Education
|
| EAN: | 9781119489214 |
| Acessibilidade: | Ver características de acessibilidade indicadas pelo editor |