Lupe
Suche

Heinrich Wansing 
Proof Theory of Modal Logic 

Support
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. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.
€162.23
Zahlungsmethoden
Sprache Englisch ● Format PDF ● ISBN 9789401727983 ● Herausgeber Heinrich Wansing ● Verlag Springer Netherlands ● Erscheinungsjahr 2013 ● herunterladbar 3 mal ● Währung EUR ● ID 4698804 ● Kopierschutz Adobe DRM
erfordert DRM-fähige Lesetechnologie

Ebooks vom selben Autor / Herausgeber

46.563 Ebooks in dieser Kategorie