The Computational complexity of logical theories - Ferrante, Jeanne 1949- (Springer, 1964)