《一个直言命题新系统》（1981年）；
《推理定义新探》（1982年）；
《试解中国经济实力之谜》（1995年）；
《中国海军实力与发展战略》（1993年）等。

1979年参加编写《逻辑学基本知识》，武汉大学作为基本教材多次印刷。
1984年翻译出版名著《逻辑原理》。
1988年主编出版法律专业《逻辑学》。
1990年出版专著《现代实用逻辑学》。
1991年翻译出版了《数理逻辑》和《形式主义数学哲学概论》两部逻辑经典著作。