The Computational Complexity of Logical Theories door J. Ferrante