
Vinkkaa tuotetta kavereillesi:
Proof Theory of Modal Logic - Applied Logic Series 1996 edition
Heinrich Wansing
Hinta
Ft 72.327
Tilattu etävarastosta
Arvioitu toimitus to - ma 12. - 23. kesä
Lisää iMusic-toivelistallesi
Eller
Löytyy myös muodossa:
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
Media | Kirjat Hardcover Book (Sidottu kirja kovilla kansilla sekä suojakannella) |
Julkaisupäivämäärä | torstai 31. lokakuuta 1996 |
ISBN13 | 9780792341208 |
Tuottaja | Springer |
Sivujen määrä | 318 |
Mitta | 155 × 235 × 19 mm · 644 g |
Kieli | English |
Toimittaja | Wansing, Heinrich |
Näytä kaikki
Lisää tuotteita Heinrich Wansing
Katso kaikki joka sisältää Heinrich Wansing ( Esim. Hardcover Book , Paperback Book Ja Book )