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
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