Boolean algebra; σ-short; strongly σ-short; infinite games;
机译:从弱拓扑拟布尔代数刻画拓扑拟布尔代数
机译:关于布尔代数的布尔代数理想
机译:带有布尔寄存器指令的程序代数简介
机译:Quasi-i-Boolean代数与Quasi-M Boolean代数
机译:当布尔代数是地面模型中的适当类时,集合论的布尔值模型。
机译:通过计算代数识别布尔分子网络模型中的控制目标
机译:强$ sigma $-短布尔代数的某些特征(强迫方法和大基数公理)
机译:布尔代数的短sheffer公理