adicionar à lista de desejos
Proof Theory eBook
Sequent Calculi And Related Formalisms
language: english
Publisher:
CRC PRESS, August of 2014 ‧
see product details
79,49€
10% OFF
CARD
UWt4d1ZWSk9XR2RHU1VOWE9YUklORnBNUzJsNVJXSTFla3BwZWtaeFFWbzRiMlpJYW0xVVZDOUNWMkYxV2tGbmNXZ3ZZa2xMVFhOc1lVSkhXRVZTYlVac1dYQjJMM1I2UjNnd2NVZzVNSGhLV0VzeFRWZ3ZjbGxCZVdWQ05HcEZUM0JpYjJOTVJXZHdkV3N4ZEUxWVZXWnhXWE53Vnk5cFptRlhaVGxZT1dvMU1EQTFkUzlYVUNzMU9VcDVZbVpHZUhSTlRFNUtWMk5zY0RGMGN5dHFSbXd5TkdsTmEwODJVRXhZV2pSRGJUUk5UMHhFWkVkR1NUZDVSMDFuTVVKVE1EVTFlalZYZWt0MU5qRkJkVWwzUWxoWVpXVlhaRlpZV0VKdU56aFRPVE1yUTBRMmEwY3dOMmxaT1RWTVluVm5iRkpWYUdkQ2MwZG5TVEZhVFdKRk56Qm9aelZxT0c5dWJHbDRTR05RVm10MVlqTlBZMGRUTTFodU1FbE1WWGxKU0V0VmN6UTFLekp2TDFCSVoydExZbXg1UWs1cVVrbFRWazlrV21reFUyUTRLM001YWtjNVJsWk1OMkU0WkhSS1ZqQk9TelpaYW04M1ptSkRRVVF2WVRaRFJFMURZbTlVVlhKU1R5czFWMFpPUlZvdlNsQXlVRmRwYUVsVGJVNVVNVWx3VERKUVltd3paMm80Y1VwR2FsSjVSVkpOT1U5MVpHTm1WMkozUnpVdk5IaEVObTF1Y21neGEwOUZkU3R2VXpKTlR6RmtZbVJVY25Cc0sxZE1XVlF5YUVKS2MxWXpkbEprUVZoNVVYSnpaR2hEV0ZGSVYzWkhRbVpzU3l0Tk4wcFFkRE5zYVd0TU4waFFVa0Z3TW5FeGRFTXdUSGxEU25adk5YVk9lRUZ3TjB0TVNGUjBiRVU0YVVWcmRVMHZlVzFEV1c4MlkwdzNUMkpFVGtsU00xTnVjbFZFVDA4eE5GQm5jVTF5TDBSME5YSTVja0U0T0ZNdlNERkhaakpoWm5ORFdVWjFPQ3M0Um5sMlNYQlVWMW8yUW1OMVJUSnhUVXgzYzBobE5UTkJhVFZRUmpCWlVqRnlVekpKUkV3eUwzRk1lbTkyU1VKWFNFUk1OMDk0VDJwWVFWbExUMlZSYkhGSGNGZHZjbTF1WVhKeGFHUnpRM2M0U1hCQ1VrcEtNM0JXUW5GUVFuRndPVWg2VUZaU2IyZDFVSFJrVm1aSmVXZFFaWG93T0Vsc1JXODFabkZvYTNsYU5tRlRLM2R4WTJaNFUwTjFOR2d3V1RSSmRHUXJLMEZWWkhOcVFTdG5Ra1kwUFE9PTpmbHhxQ1RXZmpGVGJIK2NIaVF3Rm5BPT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9781466564688 |
| Publisher: | CRC PRESS |
| Release Date: | August of 2014 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Collection: | Discrete Mathematics And Its Applications |
| Categories: |
eBooks in English
>
Science
>
Mathematics
|
| EAN: | 9781466564688 |
BOOKS FROM THE SAME COLLECTION
-
Handbook Of Combinatorial Algebraic GeometryPre-order30%TAYLOR & FRANCIS LTD217,65€
310,93€free shipping -
Introduction To Enumerative And Analytic CombinatoricseBook10%CRC PRESS115,66€
128,51€
-
Proof Theory30%TAYLOR & FRANCIS LTD56,77€
81,10€free shipping -
Proof Theory30%TAYLOR & FRANCIS INC113,56€
162,23€free shipping