adicionar à lista de desejos
Short Introduction To Intuitionistic Logic eBook
idioma: inglês
Editor:
SPRINGER US, dezembro de 2005 ‧
ver detalhes do produto
162,98€
10% DESCONTO
CARTÃO
Um1wS1VXOTJhMDFSYUZBeGFFWklSRXRUTkcxWU9FcENibUpWUkRGQ1ZURTFWM1p2UnpSTVREZDNXVkZvY1VkS2NVUlFaVVJtVkhaclZXOUJORlpaWVU5bGNGUm5WMUpRVlc1NWVUZG9NRmRJVm5jNVVFNTZLMVpIV0dSbll6RlFZVGxWZFRsVmVsRlNVbGQzZUdVeFFUQlJVbk5KVTNJNVNVNTRkVE5IU21ZMGEyOXJSblF6WVRCck9HSnNOMmRwU0RBeFltMTFMM0U0YmpGSWVrUm1RMko0U2tkRldVdDJUR1ZqTkhKS2JVeEpXWEU1TVROVlRITTNMMFpETVdSeE5TdERjRFI2SzJ0SllsUnNkVFJ5WjFWVWVURXpjVm8wV1ZCc1UwTllaVVJQT0RWbVMzcEVRVWw1Ymt3clVGUTNlRVJUV0U5SlR6WnhMMkk0VDNwbVpGWnNVVnAzZUdGVVZHaHdOWEF2WVV4WFoxRnhkRll2YUZGQk5tSlZSR3cxTUhSeFYwcEZORGgyV0d0MVVWQjZRMjR3YjB0eVprZGpiMll2V0ZaSWNub3pMMUJSYTJONGIwWjNNREl4YVZaWlNrTktNVk5ZYjBsRlMyTm1jRGcyWXpWNloyNXBWRVpCVFVGbFVGWmtSR3AyYmxSNU0waHhSekJEWmk4MFZEQnBSek5zSzJjclR6TTVjbWxxYnpaT1JXSnhjekUwTHpCSWVqbFJVWE5tTVVaM2VEVmtOa3hLTW1KUlpHUjBObTlpUkVGRFVTdHpiek5QZFRaMlZtNXFVRTB6UlU5alEyMXlVa3gyWW1KT1UzVm9kREJwTHpSVFVtOWpibGRRTTJ4WmVEUkxVMjV0VW1rM2VFaFFTR1J5U3pRMFNsQmlaRVY1ZFZSc1IwWTNRamxYYzNSSE5XcERlWGcxT1hScVdHOUdWbVV6TUdwdVJYQndZbEJwVTJOWGNHVlRURXRKU1hCelQzQm5NalZTZGtSVmFqSmpLMk5MZHpaNlFUWXZZbEZKU0ZKMVJFazJiakJuZDJSbFYwOXZSWEo2WmxCdVdrVjJRekl4VFZSTlRXaFFOVWd3Tm1JeVpHTnZZVXBYYkhkWVdYTmxibVpDZHpKMFMzTXhSemRWZW1WM0swaDFiMk5RWWxoV2RIUXlOVFJ3YWxWTUwxcGxjWEZ1UTA5VFlUTkNjMXB2WkZSVllXeE9kMFZyZDI1aWVVeHhOSHBHZWxvNWFGTXlRWFZJYzFGdmNVTlZjMDR6TWpjMVNXMWhOV1J5TTFkQ2FFMVhabEYyTXk5S2NVOXFOSHB4Tldkc1ozWjFWVXBSUFE9PTpzYitzQVMxWS9iZlVCOForSEJPMnlBPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9780306469756 |
| Editor: | SPRINGER US |
| Data de Lançamento: | dezembro de 2005 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | PDF para ADE |
| Coleção: | University Series In Mathematics |
| Classificação Temática: |
eBooks em Inglês
>
Ciências Exatas e Naturais
>
Matemática
|
| EAN: | 9780306469756 |
LIVROS DA MESMA COLEÇÃO
-
eBook10%Elliptic Differential Equations And Obstacle ProblemsSPRINGER US237,84€ 10% CARTÃO
-
eBook10%Matrix Theory: A Second CourseSPRINGER US118,59€ 10% CARTÃO
-
10%A Short Introduction To Intuitionistic LogicSPRINGER-VERLAG NEW YORK INC.177,78€ 10% CARTÃOportes grátis
-
10%A Short Introduction To Intuitionistic LogicSpringer Science+Business Media166,28€ 10% CARTÃOportes grátis