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
WTI1cGNYbzFjRXRJT1d4U1JHMUZhMGcxUkhZMWF5OXlSbmQ0VFhKMlkwTXpVVE5UZUVaWGIxSjJWa0ZIUlRJeVZXSldZVzB5VGpoaFZGTTFjVXhFZFdKMWRYbFZSVVp6ZEVwaU1HUnZhbmNyTjA1QmF6ZEpkalJ3Wm5KUllXaFNUQzk2ZGxwMGMyaHdXV1pxUTBsQlQwTmxhVmx4VHpOd1NDOVlSV3BJUzJvd2VHcFBkMlZhYlhGclFubEJSRzV0YUVaekswMWFVV3RvZG5WcGEzb3ZiSGxPVEVaS2NFNW1heTgzWVZsck5XdHBjemxTWkVvMGEyRlNhbEJPWjJKTFRXWlVRV2xETVVRclV5dGhaazFFVDNabWJ6ZHFlbGRRWkRKNFExbzBhVkJVY0dkU1NXaEdLemxGYUVReldqWjJkbU4xYUZaYVRHRnVOR0ZWWmxCNGRHdEVhMnBtTkRsa2NtWlVkMlo2VEVGSllVbFZTazF1Y3pFdmNTdFFWVkl6Y0V0WmJVaEdZV1pMVEdGcldHcHdaR1prTkRSWFRYWk5VVlpsTld0WE9WZElORGhRYlhWSFpWQnlMMkpRSzJkbVFuUkpXakJSY1ZSS01rTjZhMmxPVG1sc1VVVmxZVll5T1dNM1lqZHRaWEl2TUVaRVRYSm5hRmhSYzNZMWJYSjZlVmc1ZGtJNWJYQlNRMFppY1hsek0ybzVOWGxrZEhacVVFSmxVbUp1VVdwamRWaFZVVGw0UTFGMmNtSXJkakJWWjBadlpEZG5WVkpITVVoWFJtSnBXV0pSTjNaelUyWmtaWGN4Y1dsd2NtUlpNblZYUkhGNFRrNWpVRFZrTlZCcFV6TkZjMnhZVWxFemFFVnBiVTVEWlZFMU0wSkNXRVUyZFdOQ1dFaE9RV3ByTldJeFlrcFdORE13TlZObU5FaHBaRTg0YTBFNFNGUnhiVlJPWkhSdFJYWmpXVTlCUzJ0d1RWTTRURVpGVTBkcFlXdHJNWGgxV1Raa1ZIRmhSM1oxVEhaUlQxZHVLMmxaY1VWVVJETk1WR0ZXVEVaemVVOXdPVXBDU1NzdlN6QjJOWEJ5UTBsdVZFNHpkRVIxYXpBemNXWndhMHRTU1dKUGRIRjRPRXhpWVZoUGRFaHNNbVZJVG5Gek1ISnZNRFkzYWtwdmVUZEtTVkkzZHpsU1VraFFZbFpGTm5kWmNESk9NSEprVlRNelp6RXljVTVqZFhWS2Vua3lNRVYyVjNFd1JsZFZZbUpJVkVWYVNIUmxMek5rTURNMVJraHRNM2xZTjBoaGVGaE1Xa1p1U0VjNVNuVk5WMmxCUFE9PTpVZXZBeHg3RlRnTFljQ25Gd09peVp3PT0=
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.
DETeBook com proteção para wookreaderILS
| Property | Description |
|---|---|
| ISBN: | 9781316053980 |
| Publisher: | CAMBRIDGE UNIVERSITY PRESS |
| Release Date: | November of 2014 |
| Language: | English |
| Format: | eBook |
| Categories: |
eBooks in English
>
Science
>
Mathematics
|
| EAN: | 9781316053980 |
| Acessibilidade: | Ver características de acessibilidade indicadas pelo editor |