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 18-22 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: 1996
Knygos puslapių skaičius: 336
ISBN-10: 0792341201
ISBN-13: 9780792341208
Formatas: Knyga kietu 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“