述語論理と完全性定理 -- --

スマリヤン／〔著〕 -- 丸善出版 -- 2014.11 -- 410.96

合理的エージェントへの応用に向けて -- --

加藤暢／共著 -- コロナ社 -- 2014.10 -- 410.96

-- 現代基礎数学 -- １５

鹿島亮／著 -- 朝倉書店 -- 2009.10 -- 410.96

-- --

松本和夫／著 -- 共立出版 -- 2001.8 -- 410.96