Proof Theory of Modal Logic - Applied Logic Series - Heinrich Wansing - Kirjat - Springer - 9780792341208 - torstai 31. lokakuuta 1996
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

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