株式会社極東書店トップ ＞ 商品一覧 ＞ Mathematical Logic : Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems.
商品詳細
Mathematical Logic : Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems.
・ISBN 978-0-19-850049-0 hard GB£ 195.00
￥61,776.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
電子版あり 大学・学術機関向け電子ブック（eBook）ISBN 978-1-383-01984-1
| 著者・編者 | Cori, Ren?e / Lascar, Daniel, |
|---|---|
| シリーズ | Mathematical Logic |
| 出版社 | (Oxford University Press, UK) |
| 出版年月 | 2000 |
| ページ数 | 358 pp. |
| 言語 | ENG |
| ニュース番号 | ＜M25-154＞ |
解説
Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. In particular, it is a major element in theoretical computer science and has undergone a huge revival with the explosion of interest in computers and computer science. This book provides students with a clear and accessible introduction to this important subject. The concept of model underlies the whole book, giving the text a theoretical coherence whilst still covering a wide area of logic.