Computational Complexity of Logical Theories

Author

Jeanne Ferrante, Charles W. Rackoff

Publisher

Springer

Subject

Mathematics

Year

1979

Vol/Edition

718

ISBN

9783540351979