Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geom
43,76 €
Miller also introduces a diagrammatic computer proof system, based on this formal system. Euclid and His Twentieth Century Rivals. Background 2. Diagrammatic Proofs 4. Short Title EUCLID & HIS 20TH CENTURY RIVA.
Jetzt bei Ebay:
