TY  - BOOK
AU  - Ferrante Jeanne
AU  -  Rackoff Charles W
TI  - Computational complexity of logical theoies
U1  - B4, L9 
PY  - 1979///
ER  -