Concepedia
Proceedings of the American Academy of Arts and Sciences · 1937 · 17 citations · 0 references
Natural SciencesComputer ScienceMathematicsFormal MethodsLogicSet TheoryAssertion-based VerificationAxiomatic Set TheoryBoolean AlgebraDeductive VerificationModal LogicPredicate LogicReasoning About Equality