Understanding mathematical proof
Taylor, John, 1957-
Understanding mathematical proof John Taylor, Rowan Garnier. - Boca Raton: CRC Press; 2014 - xix, 394 pages ; 21 cm.
Includes bibliographical references and index.
9781466514904 (pbk)
2014003736
Proof theory.
Logic, Symbolic and mathematical.
QA9.54 / .T39 2014
511.3 TAY-GAR
Understanding mathematical proof John Taylor, Rowan Garnier. - Boca Raton: CRC Press; 2014 - xix, 394 pages ; 21 cm.
Includes bibliographical references and index.
9781466514904 (pbk)
2014003736
Proof theory.
Logic, Symbolic and mathematical.
QA9.54 / .T39 2014
511.3 TAY-GAR