Understanding mathematical proof - Taylor, John 1957-; Garnier, Rowan (Boca Raton Taylor & Francis, 2014)
"A CRC title."
Includes bibliographical references and index.
Keywords: Proof theory; Logic, Symbolic and mathematical