2.3.2 谓词公式的分类

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