Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems - Applied Logic Series - Walter Carnielli - Livros - Springer-Verlag New York Inc. - 9781402067815 - 4 de fevereiro de 2008
Caso a capa e o título não sejam correspondentes, considere o título como correto

Walter Carnielli
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems - Applied Logic Series 2008 edition

Preço
R$ 988,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 24 de set - 6 de out
Receba avisos sobre novos lançamentos de Walter Carnielli

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

Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics.

618 pages, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 4 de fevereiro de 2008
ISBN13 9781402067815
Editoras Springer-Verlag New York Inc.
Páginas 602
Dimensões 156 × 235 × 33 mm   ·   1,04 kg
Idioma Inglês  

Mais por Walter Carnielli

Mostrar tudo

Mais da mesma editora

Ver tudo de Walter Carnielli