书目详细信息 : 离散数学 第一分册:数理逻辑