形式语义学的稳定论域理论

陈仪香著2003 年出版205 页ISBN：7030112644

本书系统论述了计算机语言形式语义的稳定论域理论中的序理论、逻辑结构和拓朴方法，建立稳定论域的逻辑表示以及格表示等。

美术论

（法）罗丹（A.Rodin）讲；（ ）吉塞尔（P.Gisell）译；曾觉之译1930 年出版399 页ISBN：

总理遗教 第2版

蒋委员长讲1940 年出版123 页ISBN：

超高频天线

（苏）薄瓦（Н.Т.Бова）讲1959 年出版407 页ISBN：15010·814

科学与学庸

蒋介石讲1939 年出版132 页ISBN：

绒线编织大全

(日)日本讲谈社供稿1989 年出版120 页ISBN：7501906289

线性代数 讲义本

周志成讲2010 年出版226 页ISBN：9868439528

政治经济学讲义 下

斯比里顿诺夫讲1954 年出版322 页ISBN：

中医正骨经验概述

杜自明讲；内外科研究所骨伤科整理1960 年出版128 页ISBN：14048·2340

千家诗

李宗为校注讲析1993 年出版343 页ISBN：7532514560