株式会社極東書店トップ ＞ 商品一覧 ＞ Theory of Formal Systems. (AM-47), Volume 47.
商品詳細
Theory of Formal Systems. (AM-47), Volume 47.
・ISBN 978-0-691-08047-5 paper US$ 95.00
￥22,258.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
| 著者・編者 | Smullyan, Raymond M., |
|---|---|
| シリーズ | Annals of Mathematics Studies |
| 出版社 | (Princeton University Press, US) |
| 出版年月 | 1961 |
| ページ数 | 156 pp. |
| 言語 | ENG |
| ニュース番号 | ＜M25-11826＞ |
解説
This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems.