Euclid and his twentieth century rivals : diagrams in the logic of Euclidean geometry /
Miller, Nathaniel,1972-
Stanford, Calif. : CSLI Publications,
c2007.
Includes bibliographical references and index.
Euclid.
Geometry