Classical Logic and Computation