Allenby, R. B. J. T Numbers and proofs R.B.J.T. Allenby - London ; New York Arnold ; Copublished in North, South, and Central America by John Wiley & Sons Inc 1997 - x, 274 p. : ill. ; 24 cm Includes bibliographical references (p. [269]) and index ISBN: 9780340676530 ISSN: 703226 Subjects--Topical Terms: Proof theory Dewey Class. No.: 511.3 ALL