TY  - BOOK
AU  - Garnier, Rowan
ED  - Taylor, John
TI  - 100% mathematical proof
SN  - 047196199X
U1  - 510.076 
PY  - 1996///
CY  - New York
PB  - John Wiley & Sons
KW  - Proof Theory
KW  - Mathematics-Evidence
ER  -