株式会社極東書店トップ ＞ 商品一覧 ＞ Combinatory Logic : Pure, Applied and Typed.
商品詳細
Combinatory Logic : Pure, Applied and Typed.
・ISBN 978-1-4398-0000-3 2011 hard GB£ 171.99
￥54,486.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
・ISBN 978-1-032-92118-1 2024 paper GB£ 62.99
￥19,955.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
電子版あり 大学・学術機関向け電子ブック（eBook）ISBN 978-0-429-07528-5
| 著者・編者 | Bimbo, Katalin, |
|---|---|
| シリーズ | Discrete Mathematics and Its Applications |
| 出版社 | (Chapman & Hall/CRC, US) |
| ページ数 | 358 pp. |
| 言語 | ENG |
| ニュース番号 | ＜M25-1387＞ |
解説
Combinatory logic is one of the most versatile areas within logic that is tied to parts of philosophical, mathematical, and computational logic. Functioning as a comprehensive source for current developments of combinatory logic, this book is the only one of its kind to cover results of the last four decades. Using a reader-friendly style, the author presents the most up-to-date research studies. She includes an introduction to combinatory logic before progressing to its central theorems and proofs. The text makes intelligent and well-researched connections between combinatory logic and lambda calculi and presents models and applications to illustrate these connections.