株式会社極東書店トップ ＞ 商品一覧 ＞ Independence-Friendly Logic : A Game-Theoretic Approach.
商品詳細
Independence-Friendly Logic : A Game-Theoretic Approach. IF論理－ゲーム理論的アプローチ
・ISBN 978-0-521-14934-1 paper GB£ 72.00
￥22,809.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
電子版あり 大学・学術機関向け電子ブック（eBook）ISBN 978-0-511-98141-8
| 著者・編者 | Mann, Allen L. / Sandu, G. / Sevenster, M., |
|---|---|
| シリーズ | London Mathematical Society Lecture Note Series |
| 出版社 | (Cambridge U. Pr., UK) |
| 出版年月 | 2011 |
| ページ数 | 208 pp. |
| 言語 | ENG |
| ニュース番号 | ＜585-175＞ |
解説
Bringing together over twenty years of research, this book gives a complete overview of independence-friendly logic. It emphasizes the game-theoretical approach to logic, according to which logical concepts such as truth and falsity are best understood via the notion of semantic games. The book pushes the paradigm of game-theoretical semantics further than the current literature by showing how mixed strategies and equilibria can be used to analyze independence-friendly formulas on finite models. The book is suitable for graduate students and advanced undergraduates who have taken a course on first-order logic. It contains a primer of the necessary background in game theory, numerous examples and full proofs.