Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry (CSLI - Studies in the Theory and Applications of Diagrams)