The Journal of Symbolic Logic

Publishes original scholarly work covering the entire field of symbolic logic, reflecting its role in philosophy and in mathematics. Includes newer aspects of logic, related to other disciplines such as computer science and linguistics.