Proof Theory of Modal Logic - Applied Logic Series - Heinrich Wansing - Livros - Springer - 9789048147205 - 9 de dezembro de 2010
Caso a capa e o título não sejam correspondentes, considere o título como correto

Proof Theory of Modal Logic - Applied Logic Series Softcover reprint of hardcover 1st ed. 1996 edition

Heinrich Wansing

Preço
zł 618,90

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 4 - 14 de jul
Adicione à sua lista de desejos do iMusic

Também disponível como:

Proof Theory of Modal Logic - Applied Logic Series Softcover reprint of hardcover 1st ed. 1996 edition

Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.


318 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 9 de dezembro de 2010
ISBN13 9789048147205
Editoras Springer
Páginas 318
Dimensões 155 × 235 × 17 mm   ·   467 g
Editor Wansing, Heinrich

Mostrar tudo

Mais por Heinrich Wansing