黑风崖上的幽灵船2020.3杨紫汐, 著 星光侦探团2020.7王珂, 著 隔壁的外星人2020.10陆杨, 著 唐诗谜案2019.6胡晓霞, 著 莫奈花园的秘密2019.9杨紫汐, 著 古镇老宅秘事2019.3杨紫汐, 著 惊心动魄的期末考试2018.1水泓, 著 蔷薇山下的迷宫2019.12杨紫汐, 著 半符号逻辑2004.张蔼珠, 陈思为, 著 数理逻辑引论2008.04朱梧槚, 肖奚安, 编著 相识数学逻辑2010.8黄忠裕, 赵焕光, 著 数理逻辑基础2015.11胡世华, 陆钟万, 著 数理逻辑基础2015.11胡世华, 陆钟万, 著 迷人的逻辑题2018.9(英) 亚历克斯·贝洛斯, 著 数理逻辑基础2012.1张振华, 著