
Tell your friends about this item:
Proof Theory of Modal Logic - Applied Logic Series Softcover reprint of hardcover 1st ed. 1996 edition
Heinrich Wansing
Proof Theory of Modal Logic - Applied Logic Series Softcover reprint of hardcover 1st ed. 1996 edition
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
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | December 9, 2010 |
ISBN13 | 9789048147205 |
Publishers | Springer |
Pages | 318 |
Dimensions | 155 × 235 × 17 mm · 467 g |
Editor | Wansing, Heinrich |
Show all
More by Heinrich Wansing
See all of Heinrich Wansing ( e.g. Hardcover Book , Paperback Book and Book )