Boolean algebra; Semantics; Lattices; Power systems; Information security; Electronic mail; Indexes;
机译:简化Allen Bradley PLC数字逻辑编程,使用布尔代数定理
机译:布尔布尔代数内的多数逻辑网络的推导定理
机译:名义代数和逻辑的有限和无限支持:名义完备性定理是免费的
机译:布尔代数逻辑:健全和完整性定理
机译:模态逻辑的有效完整性定理。
机译:单互补电阻开关中完整布尔逻辑函数的实现
机译:名义代数和逻辑的有限和无限支持:自由的名义完备性定理
机译:Banachspaces中sigma-Complete布尔代数的Bicommutant定理