现代逻辑学讲义 模态逻辑

本书为高校教学用书。分数理逻辑与模态逻辑两部分。数理逻辑介绍了句子逻辑及一阶逻辑的基本内容；模态逻辑介绍句子层次上（命题型的）模态逻辑最基本的内容。...

广义模态逻辑及其应用

广义模态逻辑是逻辑学里一个新的分支，也是一个比较前沿学科，在国外有较多的研究，并在计算机和语言学等领域得到了比较广泛的应用。本书属国家社科基金“广义模态逻辑与新型计算语言研究”项目，是由逻辑学、计算...

煤炭试验仪器设备、采样制样、试验方法及标准实用手册

煤炭试验仪器设备、采样制样、试验方法及标准实用手册 第4卷

煤炭试验仪器设备、采样制样、试验方法及标准实用手册 第3卷

煤炭试验仪器设备、采样制样、试验方法及标准实用手册 第2卷

土工试验与测试技术

本书介绍了土工试验和测试技术的基本原理、土的工程性质和基本知识以及试验、测试的基本技能。

军事装备试验计量技术与管理

本书介绍军事装备试验计量技术基本概念、管理方法与测试技术等。

隧道工程试验检测技术

本书主要介绍公路隧道施工中各个环节的试验检测技术，实用性和可操作性很强。

混凝土结构试验与检测技术

本书介绍了阐述了混凝土的力学性能检测，结构静载试验。