TY  - DATA
AU  - J. Ferrante
AU  -  C. W. Rackoff
TI  - The Computational Complexity of Logical Theories
T2  - Lecture Notes in Mathematics
SN  - 9783540351979
PY  - 1979///
CY  - Heidelberg
PB  - Springer Berlin
KW  - Mathematics and Statistics
UR  - https://doi.org/10.1007/BFb0062837
ER  -