Proof Theory of Modal Logic - Applied Logic Series - Heinrich Wansing - Libros - Springer - 9789048147205 - 9 de diciembre de 2010
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
€ 141,99

Pedido desde almacén remoto

Entrega prevista 1 - 9 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     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 9 de diciembre de 2010
ISBN13 9789048147205
Editores Springer
Páginas 318
Dimensiones 155 × 235 × 17 mm   ·   467 g
Editor Wansing, Heinrich

Mas por Heinrich Wansing

Mostrar todo