离散数学（第2版）

屈婉玲，耿素云，张立昂著 / 高等教育出版社

上传者：river

第1章命题逻辑的基本概念

第2章命题逻辑等值演算

第3章命题逻辑的推理理论

第4章一阶逻辑基本概念

第5章一阶逻辑等值演算与推理

下载APP查看