
Fortæl dine venner om denne vare:
Proof Theory of Modal Logic - Applied Logic Series 1996 edition
Heinrich Wansing
Pris
Ft 68.761
Bestilles fra fjernlager
Forventes klar til forsendelse 1. - 7. jul.
Tilføj til din iMusic ønskeseddel
Eller
Findes også som:
Proof Theory of Modal Logic - Applied Logic Series 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
Medie | Bøger Hardcover bog (Bog med hård ryg og stift omslag) |
Udgivet | 31. oktober 1996 |
ISBN13 | 9780792341208 |
Forlag | Springer |
Antal sider | 318 |
Mål | 155 × 235 × 19 mm · 644 g |
Sprog | Engelsk |
Klipper/redaktør | Wansing, Heinrich |
Vis alle
Mere med Heinrich Wansing
Se alt med Heinrich Wansing ( f.eks. Hardcover bog , Paperback Bog og Bog )