共 50 条
- [22] COMPLETENESS OF BOOLEAN ALGEBRA ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1967, 13 (04): : 367 - &
- [29] Robbins algebra. Conditions that make a near-boolean algebra boolean Journal of Automated Reasoning, 1990, 6 (04):