Miller, N.

Euclid and his twentieth century rivals: Diagrams in the logic of Euclidean geometry - Stanford CSLI Publications 2007 - viii, 119p. - CSLI studies in the theory and applications of diagrams .

1-575-86507-6