Journals

• Science: Math: Publications: Journals  (174)

Annals of Pure and Applied Logic - (Elsevier) Formerly Annals of Mathematical Logic. Unrestricted access only for subscribers.

Archive for Mathematical Logic - Publishes research papers and occasionally surveys or expositions on mathematical logic. Tables of contents from vol.34 (1995) on. Full text to subscribers.

Bulletin of Symbolic Logic - All articles in postscript format.

Fundamenta Mathematicae - (Polish Academy of Sciences) Publisher's site. Tables of contents from vol.33 (1945).

History and Philosophy of Logic - Publisher's site.

Israel Journal of Mathematics - Publisher's site.

Journal of Automated Reasoning - Interdisciplinary Journal covering theory, implementation and application. Online archive and full text for subscribers.

Journal of Functional and Logic Programming - Electronic journal.

Journal of Logic and Computation - Publisher's site. Unrestricted access only for subscribers.

Journal of Logic, Language and Information - Explores the foundations of natural, formal, and programming languages, as well as the different forms of human and mechanized inference. It covers the logical, linguistic, and information-theoretic parts of the cognitive sciences. Free tables of contents and abstracts. Full text to subscribers.

Journal of Mathematical Logic - World Scientific. Contents and abstracts of all issues; full text to institutional subscribers.

Journal of Philosophical Logic - Journal devoted to philosophical applications of logic, and the philosophical underpinnings of logic. Sample copy and an archive of tables of contents.

Journal of Symbolic Logic - Official organ of the Association of Symbolic Logic.

Logic Journal of the IGPL - (OUP) Official publication of the Interest Group in Pure and Applied Logic.

Mathematical Logic Quarterly - Formerly Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. Publisher's site. Table of contents from 2000. Full text to subscribers.

Nordic Journal of Philosophical Logic - All articles available online.

Notre Dame Journal of Formal Logic - Publisher's site, access restricted.

Reports on Mathematical Logic - Official website.

Studia Logica - Web page maintained by the Institute of Philosophy and Sociology of the Polish Academy of Sciences.

Transactions on Computational Logic - Devoted to research concerned with all uses of logic in computer science.