Methods of Cut-elimination - Trends in Logic - Matthias Baaz - Livros - Springer - 9789400734975 - 25 de fevereiro de 2013
Caso a capa e o título não sejam correspondentes, considere o título como correto

Methods of Cut-elimination - Trends in Logic 2011 edition

Matthias Baaz

Preço
CA$ 153,69

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 2 - 10 de jul

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Também disponível como:

Methods of Cut-elimination - Trends in Logic 2011 edition

This book offers a thorough, rigorous analysis of reductive cut-elimination methods and an in-depth presentation of the recent method CERES developed by the authors. It includes several applications of CERES and an extension of CERES to non-classical logics.

296 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 25 de fevereiro de 2013
ISBN13 9789400734975
Editoras Springer
Páginas 296
Dimensões 156 × 234 × 15 mm   ·   417 g
Idioma English  
Mostrar tudo

Mais por Matthias Baaz

Ver tudo de Matthias Baaz ( por exemplo Paperback Book e Hardcover Book )