TY  - GEN
AU  - Ferrante, Jeanne
TI  - The compuational complexity of logical theories
SN  - 3540095012
SN  - 038709501
PY  - 1979///
CY  - New York
PB  - Springer-Verlag
N1  - Contine bibliografie si index
ER  -