Understanding mathematical proof - Taylor, John (2014)