The computational complexity of logical theories

Jeanne Ferrante, Charles W. Rackoff
Bok · Engelsk · 1979

Utgitt	Berlin : Springer , 1979
Omfang	X, 243 s.
Emner	Computational complexity Predicate calculus
ISBN	0387095012. - 3540095012