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