“…These areas of emphasis are apparent from the specific issues addressed in much of this recent research. The following is by no means an exhaustive list of issues, but is fairly representative: the epistemological aspects of proof (Balacheff, 2004;Hanna, 1997); the cognitive aspects of proof (Tall, 1998); the role of intuition and schemata in proving (Fischbein, 1982(Fischbein, , 1999; the relationship between proving and reasoning (Yackel & Hanna 2003;Maher & Martino 1996); the usefulness of heuristics for the teaching of proof (Reiss & Renkl, 2002); the emphasis on the logical structures of proofs in teaching at the tertiary level (Selden & Selden, 1995); proof as explanation and justification (Hanna, 1990(Hanna, , 2000Sowder & Harel 2003); proof and hypotheses (Jahnke, 2007); curricular issues (Hoyles, 1997); proof in the context of dynamic software (Jones, Gutiérrez & Mariotti 2000;Moreno & Sriraman 2005); the analysis of mathematical arguments produced by students (Inglis, Mejia-Ramos & Simpson 2007); the relationship between argumentation and proof (Pedemonte, 2007). Understandably, the empirical classroom research on the teaching of proof has focused upon students' difficulties with learning proof and on the design of effective teachers' interventions (see the survey of research in the last 30 years in Mariotti 2006).…”