Concepedia
IEE Journal on Computers and Digital Techniques · 1978 · 31 citations · 0 references
HumanitiesComputer ScienceAlgorithmsFormal MethodsLogicBoolean AlgebraCombinational Logic DescriptionFirst-order LogicMathematical LogicModel TheoryPredicate LogicTruth-value AssignmentsTruth-value Lattices