Mohlo by se vám také líbit

Více informací o knize Proof Theory of Modal Logic

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 506 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Humanities Philosophy Philosophy: logic

• Plný název: Proof Theory of Modal Logic
• Autor: Heinrich Wansing
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 318
• EAN: 9789048147205
• ISBN: 9048147204
• ID: 01973628
• Nakladatelství: Springer
• Hmotnost: 510 g
• Rozměry: 235 × 155 × 19 mm
• Datum vydání: 08. December 2010

Oblíbené z jiného soudku

---

---

---