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

Proof Theory of Modal Logic - Applied Logic Series Softcover reprint of hardcover 1st ed. 1996 edition

価格
¥ 24.602
税抜

遠隔倉庫からの取り寄せ

発送予定日 年12月11日 - 年12月23日
クリスマスプレゼントは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

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2010年12月9日
ISBN13 9789048147205
出版社 Springer
ページ数 318
寸法 155 × 235 × 17 mm   ·   467 g
編集者 Wansing, Heinrich

すべて表示

Heinrich Wansingの他の作品を見る