当代形式逻辑引论2009.03龚启荣等, 著 相对论2020.3(美) 阿尔伯特·爱因斯坦, 著 相对论2019.12曹则贤, 著 当代形式逻辑基础2006.08龚启荣, 著 相对论2019.11(英) 布鲁斯·巴塞特, 著 形式逻辑学2005.田亮, 石宝丽, 主编 几何分析与相对论2011.5(美) 布雷 (Bray,H.L.) , (美) 米尼克兹 (Minicozzi,W.P.) , 编 形式逻辑学2008.08李卫中, 冯振翼, 主编 广义相对论的3+1形式 : 数值相对论基础2014.10(法) 古尔古隆 (Gourgoulhon,E.) , 著 相对论与相对论重力测量2008.08申文斌, 宁津生, 晁定波, 编著 相对论原理2006.12(美) 爱因斯坦, 著 电磁场理论形式逻辑分析2008.杨本洛, 著 形式逻辑·辩证逻辑·科学2016.6李浙生, 著 相对论逻辑自洽性探疑2004.04马青平, 著 漫画相对论2018.8汪诘, 原著