2.3 谓词公式的解释和分类

• 书名：离散数学及其应用（第2版）
• 作者名：陈琼 马千里 周育人 陈伟能等编著
• 本章字数：11字
• 更新时间：2025-01-22 14:31:08