TY  - BOOK
AU  - Leitsch, Alexander
AU  - 
TI  - Resolution calculus
U1  - R  515.72  LEI-R 
PY  - 1997///
CY  - Springer-Verlag, Berlin
KW  - Operational calculus-- Functional analysis-- Mathematics
ER  -