TY  - BOOK
AU  - Leitsch
TI  - The resolution calculus
T2  - Texts in theoretical computer science
SN  - 3-540-61882-1
PY  - 1997///
CY  - Berlin [etc.]
PB  - Springer
KW  - Demonstração de teoremas
KW  - QA76.9
ER  -