Explanation and proof in mathematics : philosophical and educational perspectives - Hanna, G.; Jahnke, H. N.; Pulte, Helmut (Springer, 2010)