この商品を友人に教える:
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems - Applied Logic Series Walter Carnielli 2008 edition
価格
DKK 1.190,40
税抜
遠隔倉庫からの取り寄せ
発送予定日 年12月24日 - 2026年1月8日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems - Applied Logic Series
Walter Carnielli
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 |
| 言語 | 英語 |