Logic And Reasoning In Geometry