编译原理

徐国定主编2001 年出版206 页ISBN：7040092476

形象学

徐国定著2001 年出版400 页ISBN：7544212726

信息馆理论与实践

徐国定著1994 年出版181 页ISBN：7561611743

编译程序构造

徐国定，杨宗源编1989 年出版370 页ISBN：7561704232

现代女名人传

徐国定著1941 年出版142 页ISBN：

光的本性

徐国定著编1983 年出版128 页ISBN：7150·0926

形象学导读 《形象学》第4版

徐国定著2015 年出版349 页ISBN：7544278713

串行通信C程序员指南 第2版

（美）Joe Campbell著；徐国定等译1995 年出版709 页ISBN：7302019002

形式哲学 理查德·蒙太古论文选

（美）理查德·蒙太古著；朱水林，徐国定，王善平译2012 年出版421 页ISBN：9787532750825

本书书收集了蒙太古在1960～1970年间发表的一系列文章，这些文章建立了以真值条件、模型论语义学为基础的蒙太古语义学。它致力于把在数理逻辑中发展起来的技巧，应用于自然语言语义学。...

俄英汉词典

周国定，王琨善主编；刘焕粤副主编1999 年出版1393 页ISBN：7562416877