基础入门类
《青少年逻辑思维能力训练》较为基础，注重培养逻辑思维的趣味性和实用性，通过各种有趣的案例和练习题，帮助高中生逐步建立起逻辑思维的基本框架，提高逻辑推理和分析问题的能力。
《逻辑思维训练500题》：以大量的题目为主，涵盖了多种类型的逻辑思维训练题目，如数字推理、图形推理、逻辑判断等，通过大量的练习，可以让学生熟悉逻辑思维的常见题型和解题思路，锻炼逻辑思维的敏捷性和准确性。
知识讲解类
《数理逻辑·证明及其限度》：由复旦大学出版社出版，是一本对普通读者较为友好的数理逻辑教材，它以证明法为中心，涵盖了上述话题，解释清晰、通俗易懂，大量练习且有英文版可参考，适合有一定英语基础的高中生阅读。
《逻辑学导论》：由黄华新和张则幸编写，浙江大学出版社出版，该书系统地介绍了逻辑学的基本概念、原理和方法，包括命题逻辑、谓词逻辑、模态逻辑等内容，是一本较为全面的逻辑学入门教材。
进阶提升类
《数理逻辑：证明及其限度》：由复旦大学出版社出版，这本书是为哲学系的学生们设计的，但考虑到中国大学里，大多文科生都学过集合论与离散的相关的课程或修过相关的非专业的集合论与离散的函数，而计算机科学和哲学的学生又需要学习递归论和可计算性理论，所以也可以作为普通读者的教材。
《数理逻辑・证明及其限度》：作者是Alfred Tarski，中文译名为《逻辑与演绎科学方法论导论》，这是一本非常独特的逻辑学入门教材，其独特性反映在以下方面：它是第一版的出版时间是1936年，符号逻辑还属于学术圈内高精尖的前端学科；它的作者本人就是第一句开篇序言中在作者本人开篇序言第一句中就是在开讲本书时自己就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本人就是开讲本书是2014年复旦大学出版社出版的图书，作者是王路，本书为哲学系的学生们设计的，但考虑到中国大学里，大多文科生都学过集合论与离散的相关的课程或修过相关的非专业的集合论与离散的函数，而计算机科学和哲学的学生又需要学习递归论和可计算性理论，所以也可以作为普通读者的教材。
竞赛拓展类
《清华北大学生爱做的100道逻辑推理题》：精选了清华大学学生喜欢做的逻辑推理题目，这些题目具有一定的难度和挑战性，可以帮助高中生拓展逻辑思维的深度和广度，提高解决复杂逻辑问题的能力。