Explanation and proof in mathematics : - Hanna, G. (Gila), 1934-; Jahnke, H. N. (Hans Niels), 1948-; Pulte, Helmut (Springer, 2010)