数理論理学 (コンピュータサイエンス教科書シリーズ 18)

著者 : 古川康一 向井国昭

• コロナ社 (2008年6月1日発売)

感想・レビュー・書評

[masudahidehikoさんの感想 · 2016年9月7日]

ロビンソンの導出原理を中心にした現代的な数理論理学について解説している。Prolog による実習も載っているが、自然演繹についても一章を割いて説明しているというバランスの良さ。説明も明快だし、例もちゃんと載っているのでわかりやすいと思う。バランスの取れた標準的な、現代数理論理学の教科書。

[嘉悦大学情報メディアセンターさんの感想 · 2010年5月21日]

古川 康一先生著