集合论含有原子的自然模型和布尔值模型 【数理化】

本书是为Lewis的五个严格蕴涵系统建立布尔值模型。为此，本文首先定义了模态公式□α的布尔值||□α||；其次证明在该定义下，模态逻辑的严格蕴涵系统S1和S2的所有公理的布尔值为1；最后证明集合论的ZFC公理系统的...

时空与建筑 一个新传统的成长 【语言文字】

建筑企业质量体系的建立与认证 【经济】

工业企业产品成本核算的方法与技巧 【经济】

柴油机故障排除的方法与步骤 【工业技术】

暂缺《柴油机故障排除的方法与步骤》简介

结核病的诊断与实验方法 【医药卫生】

走向自为 社会科学的活动与方法 【社会科学】

有效教学研究的理论、方法、技能与应用 【文化科学教育体育】

实变函数论的典型问题与方法 【数理化】

当代矿产资源勘查评价的理论与方法 【天文地球】