Journal of Logic and Computation, ‎0955-792X

Journal