000			00547pam a2200193a 44500
008			160408b2004 xxu||||| |||| 00| 0 eng d
020			_a0198526334
082			_a511.3 _bP994R
100			_aPym,David J.
245	1		_aREDUCTIVE LOGIC AND PROOF-SEARCH _cPROOF THEORY, SEMANTICS, AND CONTROL
260			_a _bClarendon Press, Oxford _c2004
300			_axv,208
440			_aOxford Logic Guides _v
650			_aLogic, Symbolic And Mathematical
650			_aProof Theory
700			_aRitter,Eike
964			_gCIRC
997			_aA157284 C
999			_c357050 _d357050