adicionar à lista de desejos
Basic Proof Theory eBook
idioma: inglês
Editor:
CAMBRIDGE UNIVERSITY PRESS, julho de 2000 ‧
ver detalhes do produto
64,93€
10% DESCONTO
CARTÃO
ZVVKb1Z6VXpNMVZSZEVGd1RDOXRkVE5xVWl0R1MwWnhUalJuV1cwclpXNVhiRUY1ZVdkTlZEZFpTakJxTm1aTWF6QnZXVWh3ZFROa1EwMVdVVmN4WlV0UlNFNXZaR0pLTWl0TUwwaHZPVmMxVEdsYU5uWjBUMmt2Y21sMFkzbE1XV1JYVW1SeVlVRkViRk0xT1ZkMVIyeGxTRUZKUzJ0SGRraDFiREJEWkVkRk5WRnZialJsVmxGaVpuTXZSblZwU1U5M09FSTRiMnBOTUc5R1ZFUnhaMFZpY2pZM1NuWjVjbm8wVVVaeldtWTBjMmxDWnpOUVpIZ3pTU3N2THpKaUsydEhiMjExUTBaV09VeDBOV1ZrVEVNcmFrODFXV3RUV2tkc1JUY3dWRVJPZW5OTVdFaG9TV3ROYUV3clJYaHhPVUUzUkhaalZFTlVkM2cyTWxaQ1pXOTVZak54VERGSU1Xd3laSEpTVjBWdkwxTkhXRms0Wm1KS1RFTXdOMHBhYmtsV09IUTJXQ3MxV0RGVVJFNVpWRTVwTTJSaWVFNWtiMFEyY210bE9YUkVhbE5sZFVkVlIzWllXbEYzY25GT1NYbDFWV1pTYVdkbGVucDNUekk1U0hJMlpFYzBiV3MyUlZKUmVrVnNOMGxEZEVsSGJIcEhjQzlXUkZCblpGTkdVRmh0UVhST2VqVm5UVUp0ZWtnMlRVbG5WRXRKY0VjNVQwVkRjSEpLVDJsc1VuQk9OM3BaUW14VmVYVTVWV2t2UjJ4cVptb3ZlRTFRTVhScE4wZFhVV0ZRYzBzNFExVm9NM0l4VUc5dVlUUnpPVXBRTjJaMFpVSXZRazF1YlU4clpVTlJPVGxRTVROMmIxbHVORlZ4VUM4NFMwMHpiV1ZOVldVMVIwbGlWMDFaTjFCT1dXZENWbFpTYUZRMlRrSnhhalp0VjNJd2JTOVNSazV2ZEV0cmRqWkVSVnBSZGxOTk1uSlJTR015VkZwak9HUnViMVZPWlV0SGVEUldjakJUVGtVMmJXWkpTRTByU0V3eVZrTnJXbU5NYWxrNU1rZERTVkEyYVhrdlVYZG5TbkkxWW04dlVVOUlPVmhrTkhOWFdqQnRXbUZQYTBsVVkyaG1NbWxsYm5VMFVuYzNRbmw1VFhGRE1sQjNaa0pGY1RkMlVYUnpaM3BxVjFKR2NEbHRUSFY1Y1hkelJHUXhkMUJLV0RSRFEySlJabkpQYTBwamQwbDJNRXBGTlZScU1GSjZkMHBXU1hrM09WY3ZNMDQzYlhoeFJtWlRUV05TYzI4MGNqSXdaRWRqZVdKSWFHdENRM2RyUFE9PTpJTFZkb0lwcFpmRmwvZGQreU9sVEtRPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
This is an introduction to the basic ideas of structural proof theory. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9781316044537 |
| Editor: | CAMBRIDGE UNIVERSITY PRESS |
| Data de Lançamento: | julho de 2000 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | PDF para ADE |
| Coleção: | Cambridge Tracts In Theoretical Computer Science |
| Classificação Temática: |
eBooks em Inglês
>
Ciências Exatas e Naturais
>
Matemática
|
| EAN: | 9781316044537 |
LIVROS DA MESMA COLEÇÃO
-
10%Initial Algebras And Terminal CoalgebrasCAMBRIDGE UNIVERSITY PRESS188,59€
209,54€portes grátis -
10%Topological Duality For Distributive LatticesCAMBRIDGE UNIVERSITY PRESS82,74€
91,93€portes grátis
-
Lectures On Linear LogicCENTRE FOR THE STUDY OF LANGUAGE & INFORMATION27,04€