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
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