Methods of Cut-Elimination - Trends in Logic - Matthias Baaz - Livros - Springer - 9789400703193 - 17 de janeiro de 2011
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$ 659,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 28 de set - 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:

Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic methods transforming proofs with arbitrary cuts to proofs with only atomic cuts (atomic cut normal forms, so-called ACNFs).

296 pages, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 17 de janeiro de 2011
ISBN13 9789400703193
Editoras Springer
Páginas 290
Dimensões 159 × 239 × 24 mm   ·   589 g
Idioma Inglês  

Mais por Matthias Baaz

Mostrar tudo

Mais da mesma editora

Ver tudo de Matthias Baaz