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