Concepedia
Journal of Number Theory · 1995 · 26 citations · 0 references
Natural SciencesComputer ScienceMathematicsAlgebraLogicSet TheoryArithmetic GeometryAxiomatic Set TheoryEquivalence CheckingNumber-theoretic AlgorithmsDecimal EquivalenceTheories Of Arithmetic