T007741　计算机科学中的逻辑学

出处：按学科分类—综合性图书 湖北人民出版社《中国图书大辞典：1949-1992第16册工业技术(下)》第818页（123字）

王元元编着。

科学出版社1989年9月版。37万字。介绍数理逻辑的基本内容和针对计算机的应用而发展出来的各种逻辑——模态逻辑、时态逻辑、动态逻辑、模糊逻辑、非单调逻辑等，介绍了λ－演算和组合逻辑。