Scientific periodicals on mathematical logic and related disciplines.
Related categories 1
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.
(Polish Academy of Sciences) Publisher's site. Tables of contents from vol.33 (1945).
History and Philosophy of Logic
Israel Journal of Mathematics
Journal of Automated Reasoning
Interdisciplinary Journal covering theory, implementation and application. Online archive and full text for subscribers.
Journal of Functional and Logic Programming
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.
Notre Dame Journal of Formal Logic
Publisher's site, access restricted.
Transactions on Computational Logic
Devoted to research concerned with all uses of logic in computer science.
Last update:February 16, 2017 at 1:22:06 UTC