Proof Theory of Modal Logic - Applied Logic Series - Heinrich Wansing - Livros - Springer - 9780792341208 - 31 de outubro de 1996
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 1996 edition

Heinrich Wansing

Preço
元 1.424,64

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 26 de mai - 5 de jun
Adicione à sua lista de desejos do iMusic

Também disponível como:

Proof Theory of Modal Logic - Applied Logic Series 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     Hardcover Book   (Livro com lombada e capa dura)
Lançado 31 de outubro de 1996
ISBN13 9780792341208
Editoras Springer
Páginas 318
Dimensões 155 × 235 × 19 mm   ·   644 g
Idioma English  
Editor Wansing, Heinrich

Mostrar tudo

Mais por Heinrich Wansing