Roy B. Dean

Papers:
241 Geometric Proof: Finally, a Logical Approach