Understanding mathematical proof - Taylor, John 1957- (CRC Press, 2014)