书名=离散数学作者=孙道德，王敏生编著页数=307出版日期=2010.2目录第1篇　数理逻辑第1-1　章命题逻辑1-1-1　命题、逻辑联结词与真值表1-1-2　命题公式与真值函数1-1-3　公式的等价与蕴涵1-1-4　命题逻辑的推理理论1-1-5　对偶与范式1-1-6　其他逻辑联结词1-1-7　逻辑联结词的功能完备集第1-2章　一阶谓词逻辑1-2-1　基本概念1-2-2　谓词合式公式与客体变元的约束1-2-3　谓词公式的等价与蕴...

上一篇：数论的方法 [闵嗣鹤 著]
下一篇：选举几何学 [胡卫群 等著]