Recomienda este artículo a tus amigos:
Proof Theory of Modal Logic - Applied Logic Series Heinrich Wansing 1996 edition
Proof Theory of Modal Logic - Applied Logic Series
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
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 31 de octubre de 1996 |
| ISBN13 | 9780792341208 |
| Editores | Springer |
| Páginas | 318 |
| Dimensiones | 155 × 235 × 19 mm · 644 g |
| Lengua | Inglés |
| Editor | Wansing, Heinrich |
Mas por Heinrich Wansing
Mostrar todoVer todo de Heinrich Wansing ( Ej. Hardcover Book , Paperback Book y Book )
Los regalos de Navidad se podrán canjear hasta el 31 de enero