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).