离散数学概论
数理逻辑：基本概念
数理逻辑：命题逻辑和形式系统
数理逻辑：谓词逻辑及形式系统