• 离散数学谓词逻辑教程
• 《离散数学》谓词逻辑
• 离散数学谓词逻辑.
• 离散数学谓词逻辑综述