Explanation and Proof in Mathematics - Gila Hanna; Hanna, Gila; Jahnke, Hans Niels; Pulte, Helmut (Springer US, 2010)