数理論理学 の商品レビュー

古川康一,向井国昭【共著】

2016/09/07

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