Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems - Applied Logic Series - Walter Carnielli - 書籍 - Springer-Verlag New York Inc. - 9781402067815 - 2008年2月4日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems - Applied Logic Series 2008 edition

価格
DKK 1.190,40
税抜

遠隔倉庫からの取り寄せ

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

Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics.


618 pages, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2008年2月4日
ISBN13 9781402067815
出版社 Springer-Verlag New York Inc.
ページ数 602
寸法 156 × 235 × 33 mm   ·   1,04 kg
言語 英語  

すべて表示

Walter Carnielliの他の作品を見る