2.3.1 谓词公式的解释

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