株式会社極東書店トップ ＞ 商品一覧 ＞ Mathematical Logic : Part 2: Recursion Theory, Godel's Theorems, Set Theory, Model Theory.
商品詳細
Mathematical Logic : Part 2: Recursion Theory, Godel's Theorems, Set Theory, Model Theory.
・ISBN 978-0-19-850050-6 paper GB£ 107.50
￥34,056.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
| 著者・編者 | Cori, Ren?e / Lascar, Daniel, |
|---|---|
| シリーズ | Mathematical Logic |
| 出版社 | (Oxford University Press, UK) |
| 出版年月 | 2001 |
| ページ数 | 352 pp. |
| 言語 | ENG |
| ニュース番号 | ＜M25-156＞ |
解説
Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. It is a major element in theoretical computer science and has undergone a huge revival with the every- growing importance of computer science. This text is based on a course to undergraduates and provides a clear and accessible introduction to mathematical logic. The concept of model provides the underlying theme, giving the text a theoretical coherence whilst still covering a wide area of logic. The foundations having been laid in Part I, this book starts with recursion theory, a topic essential for the complete scientist. Then follows Godel's incompleteness theorems and axiomatic set theory. Chapter 8 provides an introduction to model theory. There are examples throughout each section, and varied selection of exercises at the end. Answers to the exercises are given in the appendix.