Email Record: The computational complexity of logical theories /