Some Connections between Mathematical Logic and Complexity Theory

Richard A. DeMillo, Richard J. Lipton

Browse the full STOC paper archive.