株式会社極東書店トップ ＞ 商品一覧 ＞ Mathematical Logic and Theoretical Computer Science.
商品詳細
Mathematical Logic and Theoretical Computer Science.
・ISBN 978-1-138-46689-0 2017 hard GB£ 210.00
￥66,528.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
電子版あり 大学・学術機関向け電子ブック（eBook）ISBN 978-1-003-07305-5
| 著者・編者 | Kueker, David, |
|---|---|
| シリーズ | Lecture Notes in Pure and Applied Mathematics |
| 出版社 | (CRC Press, UK) |
| ページ数 | 408 pp. |
| 言語 | ENG |
| ニュース番号 | ＜M25-12005＞ |
解説
Mathematical Logic and Theoretical Computer Science covers various topics ranging from recursion theory to Zariski topoi. Leading international authorities discuss selected topics in a number of areas, including denotational semanitcs, reccuriosn theoretic aspects fo computer science, model theory and algebra, Automath and automated reasoning, stability theory, topoi and mathematics, and topoi and logic.
The most up-to-date review available in its field, Mathematical Logic and Theoretical Computer Science will be of interest to mathematical logicians, computer scientists, algebraists, algebraic geometers, differential geometers, differential topologists, and graduate students in mathematics and computer science.