Concepedia
Proceedings of the American Mathematical Society · 1988 · 26 citations · 0 references
ComputingComputer ScienceMathematicsFormal MethodsSet TheorySyntaxMathematical LanguagePredicate LogicAnnotation EncodingFinite Cartesian ProductProduct FormulasTychonoff Spaces