The Shaping of Deduction in Greek Mathematics: A Study in Cognitive History (Ideas in Context)