Journal of Logic and Computation
 The Journal of Logic and Computation is a peer-reviewed academic journal focused on logic and computing. It was established in 1990 and is published by Oxford University Press.