TY  - BOOK
AU  - Taylor,John
AU  - Garnier,Rowan
TI  - Understanding mathematical proof
SN  - 9781466514904
AV  - QA 9.54 T39.2014
PY  - 2014///,
CY  - Boca Raton
PB  - Taylor & Francis Group
KW  - Proof theory
KW  - Teoria de la prueba logica
KW  - Logic, Symbolic and mathematical
KW  - Lógica simbólica y matemática
N1  - "A CRC title."; Incluye referencias bibliográficas e índice
ER  -