ALLENBY, R. B. J. T. Numbers and Proofs - Oxford : Butterworth-Heinemnn , 1997. - x , 274 p . : ill . ; 24 cm. includes bibliographical references and index ISBN: 9780340676530 Subjects--Topical Terms: Proof theory Dewey Class. No.: 511.3