J. Ferrante

The Computational Complexity of Logical Theories - 1979 - Heidelberg Springer Berlin 1979 - Monograph - Lecture Notes in Mathematics v.718 .

9783540351979


Mathematics and Statistics