李小五编著2005 年出版238 页ISBN：7306025880
本书为高校教学用书。分数理逻辑与模态逻辑两部分。数理逻辑介绍了句子逻辑及一阶逻辑的基本内容；模态逻辑介绍句子层次上（命题型的）模态逻辑最基本的内容。...
（德）康德著；许景行译1991 年出版149 页ISBN：7100006201
康德在传统的逻辑判断分类外，又创设了模态，开创了研究概念的内容实质的新局面，从形式逻辑发展到先验逻辑。康德对范畴表的旧类范畴，都用正、反、合方式来阐明，从而对辩证法的发展作出了贡献。...
李小五编著2005 年出版265 页ISBN：7306025880
本书为高校教学用书。分数理逻辑与模态逻辑两部分。数理逻辑介绍了句子逻辑及一阶逻辑的基本内容；模态逻辑介绍句子层次上（命题型的）模态逻辑最基本的内容。...
