TY  - BOOK
AU  - FERRANTE,JEANNE, RACKOFF,CHARLES W
TI  - COMPUTATIONAL COMPLEXITY OF LOGICAL THEORIES (LNCS 718)
SN  - NCST
U1  - 59 
PY  - 1979///
CY  - BERLIN
PB  - SV
ER  -