Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
EUR 88,71
Anzahl: 1 verfügbar
In den WarenkorbZustand: Fair. Volume 2. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,800grams, ISBN:9780792341208.
Taschenbuch. Zustand: Neu. Proof Theory of Modal Logic | Heinrich Wansing | Taschenbuch | x | Englisch | 2010 | Springer Netherland | EAN 9789048147205 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Verlag: Springer Netherlands, Springer Netherlands Okt 1996, 1996
ISBN 10: 0792341201 ISBN 13: 9780792341208
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Buch. Zustand: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 332 pp. Englisch.
Verlag: Springer Netherlands, Springer Netherlands, 2010
ISBN 10: 9048147204 ISBN 13: 9789048147205
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Verlag: Springer Netherlands, Springer Netherlands, 1996
ISBN 10: 0792341201 ISBN 13: 9780792341208
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 235,45
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 328 pages. 9.25x6.10x0.75 inches. In Stock.