Journal of Logic and Computation

ID: 306021