可数布尔代数定性
定性DecidabilityDeducibility演绎
推断定性DecidabilityDeducibility
DecidabilityTheoriesLogical海外
ParameterizedDecidabilityVerification验证
可计算性定性ComputabilityDecidability