Journals Higher Education
Important OUP's Response to COVID-19 Learn more

Journal of Logic and Computation

Editor-in-Chief: D M Gabbay

The Journal of Logic and Computation aims to promote the growth of logic and computing, including, among others, the following areas of interest: Logical Systems, such as classical and non-classical logic, constructive logic, categorical logic, modal logic, type theory, feasible maths.

Show more

Also of Interest