TY  - BOOK
AU  - ALLENBY, R. B. J. T. 
TI  - Numbers and Proofs 
SN  - 9780340676530
U1  - 511.3 
PY  - 1997///
CY  - Oxford
PB  - Butterworth-Heinemnn , 
KW  - Proof theory
N1  - includes bibliographical references and index
ER  -