Concepedia
Proceedings of the American Mathematical Society · 1982 · 46 citations · 0 references
Natural SciencesMathematicsAlgebraFormal MethodsLogicPredicate LogicStabilityBaker's TheoryStability Theorems