TY  - BOOK
AU  - Allenby,R.B.J.T.
TI  - Numbers and proofs
SN  - 0-340-67653-1
AV  - QA9.54.A55 1997	 
PY  - 1997///
CY  - Oxford
PB  -  : Butterworth- Heinemann
KW  - Proof theory
N1  - Includes bibliographical references and index
ER  -