Galois

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