adicionar à lista de desejos
Advances In Proof Theory
language: english
Publisher:
BIRKHAUSER VERLAG AG, May of 2018 ‧
see product details
89,21€
10% OFF
CARD
Y0dGd1R6aEViVmRvZERZd1NubHVhVmhaWWs1WVJHUk5XbWsyY1VkUFRITXlkM0J2ZW5ad1QwNDJORWxqZFRseWVsaDVibWxHVGxwelNtbENVVkJVYTAwelNtUjVkelpPTTFFek5WRTRTazU0TXpJeWFDOWtaVE5PTHpWTEwwOUhlbXRDVEdKemExQnliM3AwUzFRMlJIRldZMWxXU3pSS2FrOVVZWGxMV2pSeFVYTXhSMDgwZVdGTGIyRTFTVzlHUTJGaGMwTXdUMEZQVmpKd1pHRkVaWE5qUmpWcVkwUjNkbmxaVWxsQ0t6WlZORGN3TkhKVFVFNHdhbGRWVG1aWU9FVlJOUzlwWkRWd1UyTnlNVEZEZUdNMlQyTjZhVzFxVnpkelpEVk9VVVJPU1cwNFpqaE5OME13T1ZOcE4xRXZVV1p5TTJVdlpGQnhZMUZWZVVORWNHWnpRVzB6UWt0UksyTmtLMkpyVkRSdVptNWFXa2hOZEdKRGVWb3pTamxZYVhkSVMwczBMemt6YXpoeE5YVndXVWwyTjJSdGJsVXZkVWN3U2xaSWMzTTFUVGsxY0ZZM1QySXJSMHhTYVVKRk5pdFZNREZMVkhWTlQwbEZTbWhKVUUxemFHSlRkMlJSV1hKYU1rcE9NVmRxYWlzeGNtdGFSMlJQTVc4MGJtRTNObUV6ZG5Ob1VFRXpaa1ZLTlV0TVkzWkJSMEYyVDJKV1IwUlBOVkp6VmtrM2NEaGxXV3c1WlhadFFWcFhRbmxJVFhCcGNFVnJOazAyV2sxMFUzWXlZa3BCUW1KdWRIaFlTMDAxWVhKR01rSlBLemd5TkVSaU1qVkNWbk0zVFd0blpXcEhTM1owTjI5Q1RXdFFkM2RvYW5rM2VXTktlREJYU0ZaWFQxQXJla2xoTTFNeGFWQnVRWGxHYnk5dWRrWnFLelE0WXpFNVdrSkhZVzFzTmtkTlVHbG9WekJ2VUhrcmNYTjRSVXBPVVhkNWNUUnRlbGhwYkRsRlF5dFBhWGR1VXpKNGRGQjBhbkJFU1ZCU1MwMXFXV0pqTUU0eldUSmlla0l5YkRWdVVYUXdVR2R0UlZCc2NsbE5WMmxWVUc5bkwwdHljMEpNYkV0R2EwaEZjVXhqYTA0MVlVTnZRVzF3UzBkQ1ZqVXpOV042YW5kQ01FWmtXREZYWW10aVZrTnJMMFZKZFdzNE5WUlJOMU5wWjJaalJXb3ZUM1EzTURad1MyRjZkVmxxWlVaVGIwWjFXa0Z2TDJ0RFZtRjVkMjFVWWxWd2QyNURVRkZUUjBaMFFXbFNNMjExTm5VMk1FNVljbnBZY0hGUE1FcHVkRFJ3Tm0xRWVHNXpWMDVNWlhSd1VGUktVVmxFTTFFMmNHeGpiWFpRZDFKRGFuRkhVVDA5OlNKaHFHQlA2Rm5Ed01UTVd2RmYrZmc9PQ==
free shipping
Sell your book
SYNOPSIS
The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9783319805139 |
| Publisher: | BIRKHAUSER VERLAG AG |
| Release Date: | May of 2018 |
| Language: | English |
| Dimensions: | 156 x 234 x 23 mm |
| Cover: | Softcover |
| Pages: | 425 |
| Format: | Book |
| Collection: | Progress In Computer Science And Applied Logic |
| Categories: |
Books in English
>
Social Sciences and Humanities
>
Philosophy
|
| EAN: | 9783319805139 |
BOOKS FROM THE SAME COLLECTION
-
Temporal Type TheoryeBook10%Springer International Publishing145,09€ 10% CARD
-
Communism And Nationalism In Postwar Cyprus, 1945-195510%Springer International Publishing AG60,82€ 10% CARDfree shipping