Algebra Universalis · 1985 · 32 citations · 3 references
Natural SciencesComputer ScienceMathematicsAlgebraFormal MethodsLogicAxiomatic Set TheoryBoolean AlgebraBoolean OperationsModel TheoryBoolean EquationsBoolean LatticesBoolean RingsConsistencyFinite Boolean Algebras
3
George Day · Pacific Journal of Mathematics · 1967 · 99 citations · Full text