Dynamic Epistemic Logic - Synthese Library - Hans Van Ditmarsch - Livros - Springer-Verlag New York Inc. - 9781402058387 - 8 de junho de 2007
Caso a capa e o título não sejam correspondentes, considere o título como correto

Dynamic Epistemic Logic - Synthese Library 2008 edition

Hans Van Ditmarsch

Preço
€ 97,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 10 - 18 de set

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:

Dynamic Epistemic Logic - Synthese Library 2008 edition

Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included.

296 pages, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 8 de junho de 2007
ISBN13 9781402058387
Editoras Springer-Verlag New York Inc.
Páginas 296
Dimensões 155 × 235 × 19 mm   ·   612 g
Idioma English  
Mostrar tudo

Mais por Hans Van Ditmarsch

Ver tudo de Hans Van Ditmarsch ( por exemplo Paperback Book e Hardcover Book )