Lower Bounds for the Complexity of Theories

Kevin J. Compton. Lower Bounds for the Complexity of Theories. Bulletin of the EATCS, 43:113-123, 1991.

Abstract

Abstract is missing.