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