Logic and Computation, MRes