The shaping of deduction in Greek mathematics a study in cognitive history - Nets, Reviʾel 1968- (Cambridge University Press, 1999)