株式会社極東書店トップ ＞ 商品一覧 ＞ Problems in Set Theory, Mathematical Logic and the Theory of Algorithms. Softcover reprint of the original 1st ed. 2003.
商品詳細
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms. Softcover reprint of the original 1st ed. 2003.
・ISBN 978-1-4613-4957-0 paper EUR 99.99
￥26,726.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
| 著者・編者 | Lavrov, Igor / Corsi, G. / Maksimova, Larisa (ed.), |
|---|---|
| シリーズ | University Series in Mathematics |
| 出版社 | (Springer-Verlag New York Inc., US) |
| 出版年月 | 2012 |
| ページ数 | 282 pp. |
| 言語 | ENG |
| ニュース番号 | ＜M25-17318＞ |
解説
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. Lavrov & L. Maksimova is an English translation of the fourth edition of the most popular student problem book in mathematical logic in Russian. It covers major classical topics in proof theory and the semantics of propositional and predicate logic as well as set theory and computation theory. Each chapter begins with 1-2 pages of terminology and definitions that make the book self-contained. Solutions are provided. The book is likely to become an essential part of curricula in logic.