Journal of Logic and Computation (Oxford University Press, 1990)