该资料包含一些数理逻辑相关的教材，其中包括 1 ：数理逻辑：基本原理与形式演算-李未 2 ：数理逻辑引论 孙希文 3 ：计算机科学的数理逻辑 4 ：计算机科学中的现代逻辑学王元元 5：逻辑学 高清 电子书 下载 pdf [胡泽洪，周祯祥，王健 6：逻辑学导论.第11版.(美)柯匹;科恩.pdf 7：面向计算机科学的数理逻辑（第二版）-陆钟万.pdf 8：模态逻辑引论 周礼全.pdf 9：数理逻辑.pdf 10：数理逻辑导引--张尚水.pdf 11：数理逻辑基础：一阶逻辑与一阶理论.pdf 12 ：数理逻辑教程.pdf