惊心动魄的期末考试2018.1水泓, 著 蔷薇山下的迷宫2019.12杨紫汐, 著 半符号逻辑2004.张蔼珠, 陈思为, 著 数理逻辑引论2008.04朱梧槚, 肖奚安, 编著 相识数学逻辑2010.8黄忠裕, 赵焕光, 著 数理逻辑基础2015.11胡世华, 陆钟万, 著 数理逻辑基础2015.11胡世华, 陆钟万, 著 迷人的逻辑题2018.9(英) 亚历克斯·贝洛斯, 著 越玩越爱玩的660个逻辑推理游戏2012.12宋师道, 编著 数理逻辑基础2012.1张振华, 著 数理逻辑导引2017.9冯琦, 编著 意外的失踪2018.11水泓, 著 思维训练场2018.1龚勋, 编著 神秘飞石2018.6水泓, 著 胡桃夹子与音乐盒2019.11杨紫汐, 著