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

Matthias Baaz
Methods of Cut-elimination - Trends in Logic 2011 edition

Preço
R$ 572,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 2 - 8 de out
Receba avisos sobre novos lançamentos de Matthias Baaz

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

Ainda não avaliado

Também disponível como:

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 Inglês  

Mais por Matthias Baaz

Mostrar tudo

Mais da mesma editora

Ver tudo de Matthias Baaz