Lectures on Logic and Computation