近刊検索 デルタ

9月10日発売予定

日本評論社

スマリヤン数理論理学講義 下巻

不完全性定理の先へ
このエントリーをはてなブックマークに追加
内容紹介
機知に富む多くの著作で知られるスマリヤンの最後の著作。下巻には再帰的関数論、コンビネータ論理など進んだ話題を収める。
著者略歴
田中一之(タナカ カズユキ)
東北大学大学院理学研究科
川辺治之(カワベ ハルユキ)
日本ユニシス株式会社

※近刊検索デルタの書誌情報はopenBDのAPIを使用しています。

※近刊検索デルタの書誌情報はopenBDのAPIを利用しています。