Proof Theory of Modal Logic - Applied Logic Series - Heinrich Wansing - Kirjat - Springer - 9789048147205 - torstai 9. joulukuuta 2010
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Proof Theory of Modal Logic - Applied Logic Series Softcover reprint of hardcover 1st ed. 1996 edition

Heinrich Wansing

Hinta
Kč 3.733

Tilattu etävarastosta

Arvioitu toimitus ke - to 2. - 10. heinä
Lisää iMusic-toivelistallesi
Eller

Löytyy myös muodossa:

Proof Theory of Modal Logic - Applied Logic Series Softcover reprint of hardcover 1st ed. 1996 edition

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     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä torstai 9. joulukuuta 2010
ISBN13 9789048147205
Tuottaja Springer
Sivujen määrä 318
Mitta 155 × 235 × 17 mm   ·   467 g
Toimittaja Wansing, Heinrich

Näytä kaikki

Lisää tuotteita Heinrich Wansing