adicionar à lista de desejos
Type Theory And Formal Proof eBook
An Introduction
language: english
Publisher:
CAMBRIDGE UNIVERSITY PRESS, November of 2014 ‧
see product details
98,05€
10% OFF
CARD
V201SmFXMVRTMUZvVTBWNlJ5OWliV1V5UWpnNE9HSldhMVUyYmtrMWRXbDVlakZrYjJaclpreFpkWHAyVHpKSGQweFhZbk51VUVKMFlXdzJiSHBtTWxWQ01GRnZZVFZqWkZBNFMyRkdXalpDTTFaaFUyRTJiVU5aUWxNeGVteE9PSElyWkVneFNVOTNTM2RHU0M5M1NrUlFaRVpqVmpWWE1FWTBTbE5XVUZocE0xWkJlVWRCTVhWamVHZzFjVGRyVjAxdVJGUlpkR2RXUzFkVVUzRlVRVzFWZG5WSVJHZFVkbXNyYzNWV2RtNW1aMFZaYUhsa1NtRkdSVXRPTTFSTGRWRXJla2xpYW1WeFRFMVJSekpoZW1vNVEwcG1VamRWVkhkeU16SnpjbVIzUWxwdGNHMWhZWFExUVZwME9HMU9VVXBQVkZjM1pIUnVVbVJNVlU4NU1taFVjVkJXYnpabGIyZFdaSEJoYTBsRlRFNWhhQ3Q2YTNOSWMxSlVhMWN6SzJKS1RHcGFlbkl2Y0hNM1REQnViVEpXZVZjNVFrcFJlamhrYnpWcGVYZDRPRzVRTjJkMFowRmlSbEJyTlRaU2JVWkdkMHB6TVZObE4zQm5PR3RSUXpkSlpISnVTWFZwTWs5SEswdHpVMWxCWkdnMGJURkhSa1JWTDFORGVHMTVjVFJ4VUVaU1NIUXlLMEZaTXpsSlUyTkZOVzU1WkdOM1owVTJUMDE0TTJ0T1owOXpUa3B0YzFoYVpqWkNUMmt4YkdsU1RuTllXVXA0UkROVWMzTnlOVWhZY0c4d1RUTjZPVVZ5VjFsNVR5ODBSRlJ3WkZsb1dEbFZMekJ2UlU4MVJqSmxZa1ZRVlhvM1MxVkxWMWh1ZEdJNVprNHZVVmg0ZEhKcVVHTlhVMDFXTmpSWFQyWm1kSGxLYkcxMFduZG1VVXhDTTFKWVZVWm5NM05OT0dkalVURmtibmhvWVdnelpqVnVTR1ZDZW0wclptbGpRM1UwTVZsSVZsbFpNaTlWUVZwSFZYbElSWFZWVVdoeE4yRnVUMWRGTVhCWUswOU5aMVprZDBNM05YRldka3h6SzI5YWVHTkhlVWxsWW5GMFlYbExjR3hGYzI5eFZTOWpTekZ0TW1jMWNqQlRVWGx4ZUZOcU1WZDJSRmcxU0hCNEwxRXlaVXhvU1ZreE9UaE9hbmRUT0hsVkszTmFjVWx5V1hGdFlWcDFXV1poYlhCVVptZDBOa0p6YjNSaVFrZ3dhbnAwZURaQ1psWmFaMUpaY0RoeE0xVjNVR05rUTNGb1EwWjNaRGt2U2pWcGJEa3hObVpKUFE9PTptNlBaaTA1VXZ4Z2hKTFIvU0lhZnlnPT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This book provides a gentle step-by-step introduction in the art of formalizing mathematics on the basis of type theory. It is suitable for a broad audience, ranging from undergraduate students to researchers.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9781316053980 |
| Publisher: | CAMBRIDGE UNIVERSITY PRESS |
| Release Date: | November of 2014 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | |
| Categories: |
eBooks in English
>
Science
>
Mathematics
|
| EAN: | 9781316053980 |
| Acessibilidade: | Ver características de acessibilidade indicadas pelo editor |