Logic & Computation