Leram - The Shaping of Deduction in Greek Mathematics: A Study in Cognitive History