
Conte aos seus amigos sobre este item:
Proof Theory of Modal Logic - Applied Logic Series 1996 edition
Heinrich Wansing
Proof Theory of Modal Logic - Applied Logic Series 1996 edition
Heinrich Wansing
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
Ver tudo de Heinrich Wansing ( por exemplo Hardcover Book , Paperback Book e Book )