The Computational Complexity of Logical Theories by J. Ferrante