Springer Education, 03 Oct 2016 The concept of proof in the light of mathematical work http://link.springer.com/article/10.1007/s11858-016-0805-9