Mathematical Logic and Computation