adicionar à lista de desejos
A Short Introduction To Intuitionistic Logic
idioma: inglês
Editor:
Springer Science+Business Media, outubro de 2000 ‧
ver detalhes do produto
166,28€
10% DESCONTO
CARTÃO
UW1wdFRrdFlRMWx6WVU5aFFXb3JSRFp5UkhWSkwwTlVVRVJOWVc5VFVtNU5OREJDZWtWeVVtUlZTVGRVVlhGVlkyRk1aWEJKYTBwMFVFMUtTemQwZERZemNsVktWVklyTkhodGJDdFNibXh6V2xFNVYzbDBNbFptU1doclFtSXdiMmszT0daMk5VaDJURGhaZFRReWRWUnljaXRGVGtodldDczBaazB5VGs1dmJUWk9RMDFrUlc0NVduSmxXbkZMWlROd09GSndNMkp2VkZsNllYcHZjVkZQYWxVdk4zcGxibGQwZWxZNVkwNXRSMUV4UmxOYVIyZFliek5tVTJNMGVqVmxUMHQzTWk4MlYwbHlWMlJwV2pOa0szQnpObEJFWlVKWVNUSjNhV1JrZDI5dVlraExWRmhCZVRVdlUwNXBRV1Y0UkZnME1VOXJRbVJzTHk5UVJXODNTRFo2WWxkU1VXaFVTbGMxYTNneVRFNVlVRTk2YzFkSFJFZEtObXRHTkRSQ1N5OWhSMWwxWTJ4V1psTnpUbmhIZVdOeFNYa3pVbUkwU21aeVJETTBSaXMyY0VOSmNDOVVUMHROTW5oUU1saE9XRFpRVEVveEsxa3dZVGxpWTJKMFRWSkZlbkprV1hoMlVFRnZMM292T1hKVUsybHVLMWxTTldSMWRuTTJUMDFoT0Vwc1ZUTjJUMUU1YTFnMGQyVXZaR3hxY0dFek9VeDBZMHRHYjAxd1Fqa3hhemRaWlU1NVVqaGliRWxoYTBGTWFsQm1kVnBIVEROMU0xUnNkak56UjJ0U1IwZHZSVFJwZURWUFZEbEZVbmRJTVdodlluUk1VVkpCV1RKeFdYUXpWVE14YmtoTVdISnpUaXRVWjFWTVFsRkxWRXRaWXpZd05FVkhZVEJhU2xVdlYwOUdTRkoyU2t0UlRUVmtTVVIwTDNwaWVXSm9XRU5LTUVZMk5IZHlaVVpFZDNkdVVHa3lOVU55ZEdSSE1HVnhUMkozZEdwTGJtOTBZbVYwVXpaMmVYcFlSMVl4U2paRmRqRnFiV05ZWkdkblVISnNVR1JUWXpKVlUweEtkemdyUzBoa01ITlpXR3BxVG5kT1ZrRlpkRXd5VlVFeFRVSTNNMnBsZW05U2NXbFNNMU5CYTBWQ1NFeFhkekZWVlUwdlRuSjFMM0Z3VUU5ak5YSTNaVEpuYnl0eVJtaGxOVFpCVGpWSk5HVXZiWHA0VVhOUE1rWjVOSE1yZW0wMVdFaEZjVFZQVTJGdVdHSTBZMDlHWWtzMGEzVXZOVGczUVRSak5IaFdkRkp6VlRGcGVWaGFlVTgwUTJ0UlVFOWxSelJJUW10SFUzbG9WRmt2T0UxVmNYSmFSR3hGWnpNMFNtdG9WM1pST1ZkdGRHc3ZkbVoxVGl0U1RFVTBTRFo1TjNCR1ZISTFOakJ4VldWMWRrczViVk5ZWkdweFNtbElNa2RpTlhkdGJnPT06dWpZR3o0Mkl1YndlY1NSY0VubkZCdz09
portes grátis
Venda o seu livro
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: | 9780306463945 |
| Editor: | Springer Science+Business Media |
| Data de Lançamento: | outubro de 2000 |
| Idioma: | Inglês |
| Encadernação: | Capa dura |
| Páginas: | 131 |
| Tipo de produto: | Livro |
| Coleção: | University Series In Mathematics |
| Classificação Temática: |
Livros em Inglês
>
Ciências Exatas e Naturais
>
Matemática
|
| EAN: | 9780306463945 |
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