Computational complexity of logical theories - Ferrante Jeanne; Rackoff C W (Berlin Springer Verlag, 1979)
Keywords: Mathematical logic