Proof Theory of Modal Logic - Applied Logic Series - Heinrich Wansing - 書籍 - Springer - 9780792341208 - 1996年10月31日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Proof Theory of Modal Logic - Applied Logic Series 1996 edition

価格
SEK 1.499
税抜

遠隔倉庫からの取り寄せ

発送予定日 年12月15日 - 年12月25日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加

他の形態でも入手可能:

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

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 1996年10月31日
ISBN13 9780792341208
出版社 Springer
ページ数 318
寸法 155 × 235 × 19 mm   ·   644 g
言語 英語  
編集者 Wansing, Heinrich

すべて表示

Heinrich Wansingの他の作品を見る