Introduction to mathematical proof : a transition to advanced mathematics - Roberts, Charles E., 1942- (CRC Press, Taylor & Francis Group, 2015)
"A Chapman & Hall book."
Keywords: Logic, Symbolic and mathematical -- Textbooks; Proof theory -- Textbooks