Handbook of Tableau Methods - Marcello D\'agostino - Livros - Springer - 9780792356271 - 31 de março de 1999
Caso a capa e o título não sejam correspondentes, considere o título como correto

Marcello D\'agostino
Handbook of Tableau Methods 1999 edition

Preço
R$ 1.121,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 1 - 7 de out
Receba avisos sobre novos lançamentos de Marcello D\'agostino

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

Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. There are several types of proof theoretical methodologies, Hilbert style, Gentzen style, goal directed style, labelled deductive system style, and so on.

670 pages, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 31 de março de 1999
ISBN13 9780792356271
Editoras Springer
Páginas 670
Dimensões 156 × 234 × 36 mm   ·   1,19 kg
Idioma Inglês  
Editor D'Agostino, M.
Editor Gabbay, Dov M.
Editor Hahnle, Reiner
Editor Posegga, J.

Mais da mesma editora

Ver tudo de Marcello D\'agostino