Foundations of Science · 2020 · 19 citations · 9 references
Natural SciencesMathematicsGeometryPhilosophy Of MathematicsSet TheoryCategory TheoryClassical GeometryEquivalence CheckingEquivalence PrincipleEuclidean GeometryNon-euclidean GeometryEquivalence ClassesEquivalent SetsTheorems Of Euclidean Geometry
9
A FORMAL SYSTEM FOR EUCLID’S<i>ELEMENTS</i>
Jeremy Avigad, Edward Dean, John Mumma · The Review of Symbolic Logic · 2009 · 144 citations · Full text