この商品を友人に教える:
Bounded Variable Logics and Counting: A Study in Finite Models - Lecture Notes in Logic Otto, Martin (Rheinisch-Westfalische Technische Hochschule, Aachen, Germany)
価格
¥ 25.931
税抜
遠隔倉庫からの取り寄せ
発送予定日 年11月27日 - 年12月15日
クリスマスプレゼントは1月31日まで返品可能です
Otto, Martin (Rheinisch-Westfalische Technische Hochschule, Aachen, Germany) の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加
Bounded Variable Logics and Counting: A Study in Finite Models - Lecture Notes in Logic
Otto, Martin (Rheinisch-Westfalische Technische Hochschule, Aachen, Germany)
This study introduces some central ideas and lines of research in finite model theory - particularly bounded variable infinitary logics - and explores the fruitful exchange between ideas from logic and from complexity theory that is characteristic of finite model theory.
193 pages, 8 b/w illus.
| メディア | 書籍 Hardcover Book (ハードカバー付きの本) |
| リリース済み | 2017年3月2日 |
| ISBN13 | 9781107167940 |
| 出版社 | Cambridge University Press |
| ページ数 | 194 |
| 寸法 | 161 × 235 × 19 mm · 450 g |
| 言語 | 英語 |
