The Computational complexity of logical theories - Ferrante, Jeanne 1949- (Springer, 1964)
En: Lecture notes in mathematics. -- Berlin. v. 718 (1979)