adicionar à lista de desejos
Type Theory And Formal Proof eBook
An Introduction
idioma: inglês
Editor:
CAMBRIDGE UNIVERSITY PRESS, novembro de 2014 ‧
ver detalhes do produto
98,05€
10% DESCONTO
CARTÃO
ZWtGM0wyeElkVWRIYzFjMWJFUk1aSEZYWjNoT0wzTlFTREUxU3pSc2JWQXlZMUpoWVU1dGEySnpZMDFtV0dSSU5XaFJPWEZYT1c5Q2RrcDZZa1ZKWVRkbE1uY3pibkpDVGtkS1NuSnBjSGRqT1UxUGRETjBXWFlyVmpGS1FXMXFTamxwZEVVM0wxZHBiMHhtY21KbFRXUnVVRWxLYm5WWGNXSkxlRVZUY0ZOVVFVUlBNVGh0YUZsYVZIRTBiUzlIUWxKWE5tbzJZMkp1ZW1oa1dYSjJXRTUwZFhKVFJGQjVMMHRHZUZCWldFMXRTVWh0UjJ4TlFYQjNhM0E1TVRJMlRFeHRia3A0V0hvMFFYWllkMGhEVHpOSFRFNTZRVFYyYWpoYVVIRmlXRVpXYkRsM1NrZEhLMHR4YWtJMmNuSkpXV1Z5ZFUxNWIweGlOa0pIV0VZM1kxZFpUU3Q1V25NMGFVTkNkbUZGVVRaeVYycGtWR0ZHWWtwV1IwUldPWEI1UmpaSk1UbExSa0poYUdoaVZXcHpWUzlCYURNM01sUm1WRFZ1TUhRd1RIQkhTalpzU1RKbmJYZDZORUUyVkZGTlMyTXlPVUphWjBwNVlTczFhRlZzV0dFemFHMXFUa1V3VVdnelN6ZzNjMlJ5TDJWM2JEZGFWMmROWTFWalRsYzBhRVV3VVRrMGEyUmxRVTFvZHl0QmVqQlFNbkp4UWtKaGNVSXpPRzVMWWxrcmRVbGxOVlIzVG5KbFZHRTNNM0prZDB3MWVsUnNlVFZEY1dad2RXSldTRTQ0TkU1a2Ftd3pjMlIzYm0xelkzcElhMFJEZUZoVVRUaDBWVTFVUTJOTmFucHVVVU5GT0VweU0wTnJhV3huUmtWa2FFZFRMMVoyVEcxd1JHZFJMMUppYjFCSmVVWXpaREJ6TlVsSWNXWjJSRFUxWW1Wc0x6VXZkMWd4TWk5UFdIVTNhRzFHZFdwek5rdElSVzlHUzBoMFRXaEdlRVJGTWxoSmFHa3ZVVGh5Y0hZd1pXTkJhVkJ0ZERBMFdIZDVlQzlEUzBsMGJXTldaRTlZTm5Obk4zQTVTV3h6VmtzMFJHOVFRVGxNYUhJMVkyUTJTV3hEV204MlZUUkZUbmhsVHpVMWVWTlNkMlpCWTJFNVRsbDFWVVZyWW5kaldsSTBZWGN6TjJ4T1kzTXZSMWgxYlZFeVlWcDRkRXR1YUc1TWJ6RXhiRVJZU21ZdkwwZElOV1E0VERFd05VTmxVVFZWVFhSMVRFeFBaa2REWWsxWmFEWnhTbHBXTUV0NkszQkNVM1ZsZW5KbmRGbEdkRVp6UFE9PTo0MEpJWEorS2FMaUJYTnErS1g5clhnPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
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.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9781316053980 |
| Editor: | CAMBRIDGE UNIVERSITY PRESS |
| Data de Lançamento: | novembro de 2014 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | |
| Classificação Temática: |
eBooks em Inglês
>
Ciências Exatas e Naturais
>
Matemática
|
| EAN: | 9781316053980 |
| Acessibilidade: | Ver características de acessibilidade indicadas pelo editor |