Recomienda este artículo a tus amigos:
Proof Theory of Modal Logic - Applied Logic Series Heinrich Wansing 1996 edition
Precio
$ 152,49
sin IVA
Pedido desde almacén remoto
Entrega prevista 16 - 27 de nov.
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Recibe notificaciones sobre nuevos lanzamientos de Heinrich Wansing
Añadir a tu lista de deseos de iMusic
También disponible como:
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