Understanding mathematical proof - Taylor, John 1957-; Garnier, Rowan (Taylor & Francis, 2014)