Taylor, John

Understanding mathematical proof / John Taylor, Rowan Garnier - Boca Raton : Taylor & Francis, 2014 - xix, 394 p. : ill. ; 24 cm.

"A CRC title."

Includes bibliographical references and index

9781466514904 (pbk.)


Proof theory
Logic, Symbolic and mathematical