TY  - BOOK
AU  - Stachniak, Zbigniew
TI  - Resolution proof systems: an algebraic theory
SN  - 9780792340171
U1  - 511.3 
PY  - 1996///
CY  - Dordrecht
PB  - Kluwer Academic
KW  - Mathematical logic (Symbolic logic)
ER  -