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