Logic and Foundations Journals in the Best of the Web Directory

Logic and Foundations Journals

ACM Transactions on Computational Logic

Covers the field of computational logic consisting of all uses of logic in computer science.

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.

Fundamenta Mathematicae

Focuses on papers on set theory, mathematical logic and foundations of mathematics, topology and its interactions with algebra, and dynamical systems.

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.

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.

Submit a site to this category