Author: Ron Rood

Rood, Ron (2006): The Logic of Geometric Proof. In: Barker-Plummer, Dave, Cox, Richard, Swoboda, Nik (eds.) Diagrams 2006 - Diagrammatic Representation and Inference - 4th International Conference June 28-30, 2006, Stanford, CA, USA. pp. 221-225. https://dx.doi.org/10.1007/11783183_30