000 00396nam a2200145 4500
245 _a100% mathematical proof
_cby Rowan Garnier and John Taylor
100 _aGarnier, Rowan
710 _aTaylor, John
260 _aNew York
_bJohn Wiley & Sons
_cc1996
300 _aviii,317p.; 24cm.
020 _a047196199X
082 _a510.076
_bGAR
650 _aProof Theory
650 _aMathematics-Evidence
999 _c56061
_d56061