Date of Original Version
12-2009
Type
Article
Published In
Review of Symbolic Logic 2, 4 (2009) : 700-768.
Abstract or Table of Contents
We present a formal system, E, which provides a faithful model of the proofs in Euclid's Elements, including the use of diagrammatic reasoning.