0 Mėgstami
0Krepšelis

Proof Theory of Modal Logic

254,08 
254,08 
2025-07-31 254.0800 InStock
Nemokamas pristatymas į paštomatus per 13-17 darbo dienų užsakymams nuo 19,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: Knyga minkštu viršeliu
Kalba: Anglų
Žanras: Mathematical logic

Pirkėjų atsiliepimai

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

Būtina įvertinti prekę

Goodreads reviews for „Proof Theory of Modal Logic“