Taylor, John, Understanding mathematical proof / John Taylor, Rowan Garnier. - Boca Raton: CRC, 2014 - xix, 394 pages ; "A CRC title." ISBN: 9781466514904 (pbk. : alk. paper) Subjects--Topical Terms: Proof theory.Logic, Symbolic and mathematical. Dewey Class. No.: 510.2 / TAY