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
ZGt4VVIxVlBibFp1Tm0xWE9YYzJPRVJXTTI5NGEza3pNR3h2VlVoUk1ETmplR3gyUkRCdVVXaFRSVk5UTkZsSlRHUXZPREZwV1hoRFV6TktNREkyTDFaU1NHVlBOWEYyY21GeFZHNTJNMlIwWm10VFpuWTBPRkZsUW5CeksxRkNNVzR2VHpOcmRrZ3liVVZYY0hFclZsVmlZVTFhTVM5RFQyUlNSMjVqY1ZkMldVeFRlalJMTm14aE16VjFNMXBaZEZkVGJFeEpRakZqWkU4NFoydEVha1JaVG5CRFZuWnVLMmhzWm1sS2VHdHBPVzlyYUVKeGVVVTNOSFI0UXk5R1MzcEtkMVpOYm1wSmJqaHpNV2R4Wm5GR01EZGphR2N4UlZkU1RGQkVObXBIVmxJNVFWcDBVSGR1YUd0M1NVaEtTM1ZTVGxWTE0yd3hhVk5KUVZCREt6WmhZVlp3ZEdKc00zUTVUalFyYVdaQlRsQTFhbmhJU1dOTWRtVk1kV1U1VWpaUU9IRnJjMjRyVlVONFZHVnJlRTQ1YmxWMU0xQndSalY1TVU1c2JqTkpUalZhVjJWaVRsbFhaazE1VEhOcWEyUjVRMk0yV0U5eVdGZDFVbkpCVGpFcldUUldRV2h4Ym05U01rTXZZWGRCY1RaNFJqaFRhMHBKVUVwcVFrTmpOSEpuUkdjMldHUnpkbFEyTld0b1dFUTJiR3RWV0dGSVdHdExhMlZXZDB3NFdVaHllamxyVlN0a2NrTmxOalZhVWtGeVNVczNjRkF6UkNzMFJYUXpkM2RPUm1GWFNUSTBjV0phUmpSNVpFaDJiRGwwYkhoWWFrcDJjMDRyVkN0b2REZDRLM2x1VVhGbVZrSndTVkZNZEVabmIybDRlamRJTkRWd1VHVkZWV1JyYUVjMVpDdDZaMmRyVDNkNFJVZHRjRUZ4UVc5VlExUXZSWEUxYkhObmNuQkRURXd5U2sweFlrWldRMUJ5YUZFM2FXc3hlVnBoY3pnMWFESXlSRTU2TW5sdk5FMDBlRGRuZG1SSWNUQnVLMHRZU21NM01Xb3hZU3MwU0RoaGVsWkdXRlV5VDBwdlVGWnlXbTFrWlZkS1VXUndRMlZ1Y1hKRlZFaHdXalk1T0ZRelkxZDBaR1JuWW1wdVdXMHdibXBOYkhaVlZsTk9iMnN3THpCbGFFMWlWQzlDV0RSRE5XSnZORmRSUmprNFoyWk9OVFJwYml0cE5VbFBNM00zY2k5Q2JVMU1Zalp6U0M4NGJrRXdiekZ4WldGRVMyeDBkbUZESzBaTlkyeEtjRUp5Y0U5V05UaEhkMlJuUFE9PTpWUC9Yb2EvRnlNQ2U1VWdRWm5TdjV3PT0=
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
-
Initial Algebras And Terminal Coalgebras10%CAMBRIDGE UNIVERSITY PRESS188,59€
209,54€portes grátis -
Topological Duality For Distributive Lattices10%CAMBRIDGE UNIVERSITY PRESS82,74€
91,93€portes grátis
-
Lectures On Linear LogicCENTRE FOR THE STUDY OF LANGUAGE & INFORMATION27,04€