Taylor, John,

Understanding mathematical proof / John Taylor, Rowan Garnier. - Boca Raton: CRC, 2014 - xix, 394 pages ;

"A CRC title."

9781466514904 (pbk. : alk. paper)


Proof theory.
Logic, Symbolic and mathematical.

510.2 / TAY