Logic and Foundations Journals

• Computers: Computer Science: Theoretical: Journals 
• Science: Math: Publications: Journals 

• ACM Transactions on Computational Logic  - Covers the field of computational logic consisting of all uses of logic in computer science.
• Annals of Pure and Applied Logic  - Service from ScienceDirect. Articles available in pdf to subscribers. Non-subscribers may purchase articles.
• Archive for Mathematical Logic  - Articles available to subscribers. Non-subscribers may purchase articles online.
• Bulletin of Symbolic Logic  - Articles in postscript, available for free download.
• Electronic Journal on Pure and Applied Logic  - Articles available in dvi or postscript.
• Fundamenta Mathematicae  - Focuses on papers on set theory, mathematical logic and foundations of mathematics, topology and its interactions with algebra, and dynamical systems.
• History and Philosophy of Logic  - Available for subscription.
• Israel Journal of Mathematics  - With indices available in ps, dvi, tex, or pdf.
• Journal of Functional and Logic Programming  - Electronic journal covering topics from functional and logic programming. Available in postscript or pdf.
• Journal of Logic and Computation  - Provides free access to abstracts. Full text available to subscribers, or may be purchased by non-subscribers.
• Journal of Mathematical Logic  - Offers free online sample issues and abstracts. Full text available in pdf to subscribers.
• Journal of Symbolic Logic  - Publishes articles on symbolic logic, including its connections with mathematics and philosophy as well as computer science and linguistics. Full text available to ASL members via JSTOR.
• Logic Journal of the IGPL  - Publishes papers in all areas of pure and applied logic. Full text available to subscribers.
• Notre Dame Journal of Formal Logic  - Publishes works of researchers on logic and foundations of mathematics.
• Reports on Mathematical Logic  - Features research papers on mathematical logic and foundations of mathematics. With abstracts of published articles.
• ScienceDirect Top 25 Hottest Articles  - List of the top articles in the Annals of Pure and Applied Logic journal.