Studies in Logic and Computation