TY  - BOOK
AU  - Leitsch Alexander
TI  - Resolution calculus
SN  - 3-540-618821
U1  - 511.3 
PY  - 1997///
CY  - Berlin
PB  - Springer-Veerlag
KW  - Mathematical logic
KW  - Resolution calculus
KW  - Resolution theorem
ER  -