The Computational complexity of logical theories - Ferrante, Jeanne 1949-; Rackoff, Charles W. 1948- (Berlín : Springer, 1964)
En: Lecture notes in mathematics. -- Berlin. v. 718 (1979)
Keywords: LOGICA, SIMBOLICA Y MATEMATICA