计算机科学中的逻辑学.pdf
本书介绍了数理逻辑的基本内容和针对计算机的应用而发展出来的各种逻辑——模态逻辑、时态逻辑、动态逻辑、模糊逻辑、非单调逻辑等，并介绍了λ－演算和组合逻辑．全书除第十一章外，均附有一定数量的习题． 本书特别适合计算机专业有关人员，内容丰富，且深入浅出，可作为计算机各专
王元元
计算理论与符号逻辑.pdf
本书共十五章，主要包括集合的可数性、图灵可计算性、算盘可计算性、递归函数可计算性、递归函数与递归关系、不同计算模型之间的等价性等。
离散数学导论.pdf
本书包括离散数学的四大分支的基础理论：数理逻辑、图论、集合论、抽象代数学。它既注重离散数学内容本身的系统完善，同时又注重与计算机科学的密切联系。
可计算性理论.pdf
本书包括数理逻辑的递归论和形式语言论两部分内容．一至八章为递归论部分，详尽地研究了初等函数、原始递归函数、递归函数及各类算子，充分地讨论了Turing机与Turing可计算性概念．九、十两章为形式语言论部分，系统地介绍了各种形式语言及相应的语言识别器——各类自动机．作为递归论内容