Scientific periodicals on mathematical logic and related disciplines.
Related categories 1
Sites 17
- Journal of Logic and Computation Publisher's site. Unrestricted access only for subscribers.
- 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.
- Transactions on Computational Logic Devoted to research concerned with all uses of logic in computer science.
- Israel Journal of Mathematics Publisher's site.
- Notre Dame Journal of Formal Logic Publisher's site, access restricted.
- Bulletin of Symbolic Logic All articles in postscript format.
- Journal of Functional and Logic Programming Electronic journal.
- Journal of Symbolic Logic Official organ of the Association of Symbolic Logic.
- Annals of Pure and Applied Logic (Elsevier) Formerly Annals of Mathematical Logic. Unrestricted access only for subscribers.
- Logic Journal of the IGPL (OUP) Official publication of the Interest Group in Pure and Applied Logic.
- 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.
- 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.
- History and Philosophy of Logic Publisher's site.
- Journal of Mathematical Logic World Scientific. Contents and abstracts of all issues; full text to institutional subscribers.
- Journal of Automated Reasoning Interdisciplinary Journal covering theory, implementation and application. Online archive and full text 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.
- Fundamenta Mathematicae (Polish Academy of Sciences) Publisher's site. Tables of contents from vol.33 (1945).