000			00393nam a22001457a 4500
999			_c9968 _d9968
020			_a9780340676530
082			_a511.3
100			_aALLENBY, R. B. J. T.
245			_aNumbers and Proofs
260			_aOxford : _bButterworth-Heinemnn , _c1997.
300			_ax , 274 p . : _bill . ; 24 cm.
500			_aincludes bibliographical references and index
650			_aProof theory
942			_cBK