Annals of Pure and Applied Logic · 2015 · 39 citations · 4 references
Discrete GeometryGeometryProjective GeometryEnumerative GeometryConstructive Version
4
Alfred Tarski, Steven Givant · Bulletin of Symbolic Logic · 1999 · 151 citations
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
Choice Reviews Online · 2001 · 48 citations
Forms of the Pasch axiom in ordered geometry
Victor Pambuccian · Mathematical logic quarterly · 2010 · 12 citations