adicionar à lista de desejos
Short Introduction To Intuitionistic Logic eBook
language: english
Publisher:
SPRINGER US, December of 2005 ‧
see product details
162,98€
10% OFF
CARD
TjBkMWFIZ3JaV2hzV0RFNE1YSlNVMWMyYm5jdmJVNVJiWHBZTTNKQ2VEQkVlbGhqYm05RWRVWk9MMkZzWkdkV1NYRnNOSFpSWldnMGMwbGpkbmx6WTBkbGJteEliVlpEY1dwMVlsUmhZVFpUUjFscFRUVlhWbkJrWjJFNE5GQldjV3hNTlRBNWVEZGtkWFprVDBaTmFWZ3lMMkowUjJkU1psQjFOak54UVcwek4zaEdkRGw0Y2psRldXUk5TWFl4ZGtSeGJEZHJPR2xrTUVsVWJFbzNLekZ0V1RKbFNrRm9RbnBQYlRaRGNFSnNTR3h1Tm1WVVRuZHplVXBYZUVGYU9FUXhja3hPWjBadU9VUXJTWGw1UTB4Q2RUZ3hkQzg1ZG5CWlpYQlJTVmxRT1ZWWVUwVkxaRmQxVVVsMGJFSlZPR1IxZWpCa2VWVnNiRWhqYURCR2IwUnVaRVZDY1dwVVVGSldjakV3YkRaMlZuY3haM1pQZDNKRVpVaFdObGhtWmt4eVFUVTNZbVZSUWtZMlpVTm1iakp5TjNORGRFVnZlSEZPVFRBeldqSXlkRmR2UjJKV1IxUnVZa2xWVkRVeFlVSnhja2gyYzNSV1ZGVjBiVEJSV0VwU2JGSlFkazlHVFhBeVJIZzFZVXBrVTBoWVREUjVOVGRWVVdJNFNWZFNUMUZTY0hsS2VURXphVEpKUlUxcFltZExZV1pGY0ZGd1VpOVdTMlpwUm14eGNHcHZNMmw0VUROVlFYSkxkR1Z0VkhCTWJHaElSV3R0ZVRka1VHZGhTa2hSVTBsQk9XZGxMM2xMUXpaMVVrVk1ObWd2VVRRNFdTdEdTRWRpUlV4TVNpOVdRMG9yUjNrd1ZHOW9ZbFZsWnpkalEzSnhiMlpuUlVaMmNscHhlR3QxV0RkWFZsRXhhRzFwY0Rjdk1rOHhkVFV5TVROR1dGVjFjMWh1Vm13MlpTdElNM2RCVTI5WU1tYzRkV0ppY0U1WVJFTndhSGhVYmxGQmFVVlJVVFkxYkhWU1NHbHRjekZoVURRNWNHSnZiVVZVV0hGeFdXUTVkVmRZTUhSU1ZsZHZhbEpCYW1zNE5XeFRkMms0VUd0M2Iwc3dXbFIxZUV0MGRHdHNSMWRxUlZkUVdXeEhObUpVTnpBNWRrcEVhVkZNUlN0aGFFTTFla3huSzIxR2JWaFBRbW8yYVRkcmNGVjNkMkpPZVc1TldUSTBjMUJXTWxWaE5URk1ZbUpQWkdGSFJXSk5ObFkwYkZWeFFuRXpWbE00T1dsQ1R6RlNjbmRDTTFCMUszVnhaa2t6UWpnM2JYZHRaMGRCUFE9PTo5WTFGc2I2dGdueW5rOVIxZHRjaER3PT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9780306469756 |
| Publisher: | SPRINGER US |
| Release Date: | December of 2005 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Collection: | University Series In Mathematics |
| Categories: |
eBooks in English
>
Science
>
Mathematics
|
| EAN: | 9780306469756 |
BOOKS FROM THE SAME COLLECTION
-
eBook10%Elliptic Differential Equations And Obstacle ProblemsSPRINGER US237,84€ 10% CARD
-
eBook10%Matrix Theory: A Second CourseSPRINGER US118,59€ 10% CARD
-
10%A Short Introduction To Intuitionistic LogicSPRINGER-VERLAG NEW YORK INC.177,78€ 10% CARDfree shipping
-
10%A Short Introduction To Intuitionistic LogicSpringer Science+Business Media166,28€ 10% CARDfree shipping