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

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

river 上传