TY  - BOOK
AU  - Pym,David J.
AU  - Ritter,Eike
TI  - REDUCTIVE LOGIC AND PROOF-SEARCH
SN  - 0198526334
U1  - 511.3 
PY  - 2004///
CY  - 
PB  - Clarendon Press, Oxford
KW  - Logic, Symbolic And Mathematical
KW  - Proof Theory
ER  -