Proof Theory of Modal Logic - Applied Logic Series - Heinrich Wansing - Libros - Springer - 9780792341208 - 31 de octubre de 1996
En caso de que portada y título no coincidan, el título será el correcto

Proof Theory of Modal Logic - Applied Logic Series 1996 edition

Precio
€ 141,99

Pedido desde almacén remoto

Entrega prevista 8 - 16 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Añadir a tu lista de deseos de iMusic

También disponible como:

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 todo