TY  - BOOK
AU  - Allenby, R. B. J. T
TI  - Numbers and proofs
SN  - 9780340676530
SN  - 703226
U1  - 511.3 ALL 
PY  - 1997///
CY  - London ; New York
PB  - Arnold ; Copublished in North, South, and Central America by John Wiley & Sons Inc
KW  - Proof theory
N1  - Includes bibliographical references (p. [269]) and index
ER  -