离散数学 第9章 命题逻辑(祝清顺版)

- 第4篇 数理逻辑 - 离散数学 - 科学出版社 - - - 主讲：祝清顺 教授