Logic Journal of the IGPL

Aims and Scope: The Logic Journal of the IGPL (International Interest Group in Pure and Applied Logics) publishes papers in all areas of pure and applied logic, including pure logical systems, proof theory, model theory, recursion theory, type theory, non-classical logics, non-monotonic logic, numerical and uncertainty reasoning, logic and AI, foundations of logic programming, logic and computation, logic and language, and logic engineering. The journal is published in both hard copy and in electronic form.

For further information consult the Logic Journal of the IGPL web site at Oxford University Press. Back issues (before 1997) are available on-line from this site at King's College (some of the information given there is slightly out of date).