李小五编著2005 年出版550 页ISBN：7306025872
本书为高校教学用书。分别介绍了三种主要的人工智能逻辑：缺省逻辑、非单调模态逻辑和限定逻辑。
张小五等编著2008 年出版309 页ISBN：9787111245308
本书包括Office 2007中的各个知识点的理论与应用。
李小五编著2010 年出版367 页ISBN：9787306036032
本书通常的动态认知逻辑只研究智能主体对命题的认知，涉及活动与后果之间的关系，本书建立一系列逻辑，把认知对象推广到其他领域。
李小五编著2005 年出版238 页ISBN：7306025880
本书为高校教学用书。分数理逻辑与模态逻辑两部分。数理逻辑介绍了句子逻辑及一阶逻辑的基本内容；模态逻辑介绍句子层次上（命题型的）模态逻辑最基本的内容。...
李小五编著2005 年出版265 页ISBN：7306025880
本书为高校教学用书。分数理逻辑与模态逻辑两部分。数理逻辑介绍了句子逻辑及一阶逻辑的基本内容；模态逻辑介绍句子层次上（命题型的）模态逻辑最基本的内容。...
