Hybrid Logic and its Proof-Theory - Applied Logic Series - Torben Brauner - Livros - Springer - 9789400700017 - 30 de novembro de 2010
Caso a capa e o título não sejam correspondentes, considere o título como correto

Hybrid Logic and its Proof-Theory - Applied Logic Series 2011 edition

Torben Brauner

Preço
R$ 693,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 6 - 13 de nov
Presentes de Natal podem ser trocados até 31 de janeiro

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

Também disponível como:

Hybrid Logic and its Proof-Theory - Applied Logic Series 2011 edition

In the present book we demonstrate that hybrid-logical proof-theory remedies these deficiencies by giving a spectrum of well-behaved proof systems (natural deduction, Gentzen, tableau, and axiom systems) for a spectrum of different hybrid logics (propositional, first-order, intensional first-order, and intuitionistic).

244 pages, 37 black & white tables, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 30 de novembro de 2010
ISBN13 9789400700017
Editoras Springer
Páginas 231
Dimensões 339 × 242 × 19 mm   ·   498 g
Idioma English  

Ver tudo de Torben Brauner ( por exemplo Hardcover Book e Paperback Book )