Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>

Proof Theory of Modal Logic

-15% su kodu: ENG15
215,97 
Įprasta kaina: 254,08 
-15% su kodu: ENG15
Kupono kodas: ENG15
Akcija baigiasi: 2025-03-03
-15% su kodu: ENG15
215,97 
Įprasta kaina: 254,08 
-15% su kodu: ENG15
Kupono kodas: ENG15
Akcija baigiasi: 2025-03-03
-15% su kodu: ENG15
2025-02-28 254.0800 InStock
Nemokamas pristatymas į paštomatus per 11-15 darbo dienų užsakymams nuo 20,00 

Knygos aprašymas

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. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.

Informacija

Serija: Applied Logic Series
Leidėjas: Springer Netherlands
Išleidimo metai: 2010
Knygos puslapių skaičius: 332
ISBN-10: 9048147204
ISBN-13: 9789048147205
Formatas: 235 x 155 x 19 mm. Knyga minkštu viršeliu
Kalba: Anglų

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Proof Theory of Modal Logic“

Būtina įvertinti prekę

Goodreads reviews for „Proof Theory of Modal Logic“