Web Directory

» Annals of Pure and Applied Logic
   (Elsevier) Formerly Annals of Mathematical Logic. Unrestricted access only for subscribers.
   http://www.sciencedirect.com/science/journal/01680072

» 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.
   http://www.springer.com/math/journal/153

» Bulletin of Symbolic Logic
   All articles in postscript format.
   http://www.math.ucla.edu/~asl/bsltoc.htm

» Fundamenta Mathematicae
   (Polish Academy of Sciences) Publisher's site. Tables of contents from vol.33 (1945).
   http://journals.impan.gov.pl/fm/

» History and Philosophy of Logic
   Publisher's site.
   http://www.tandf.co.uk/journals/tf/01445340.html

» Israel Journal of Mathematics
   Publisher's site.
   http://www.ma.huji.ac.il/~ijmath/

» Journal of Automated Reasoning
   Interdisciplinary Journal covering theory, implementation and application. Online archive and full text for subscribers.
   http://www.springerlink.com/content/100280/

» Journal of Functional and Logic Programming
   Electronic journal.
   http://danae.uni-muenster.de/lehre/kuchen/JFLP/

» Journal of Logic and Computation
   Publisher's site. Unrestricted access only for subscribers.
   http://logcom.oxfordjournals.org/

» 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
   http://www.springerlink.com/content/100291/

» Journal of Mathematical Logic
   World Scientific. Contents and abstracts of all issues; full text to institutional subscribers.
   http://www.worldscinet.com/jml/jml.shtml

» 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.
   http://www.springer.com/philosophy/logic/journal/10992

» Journal of Symbolic Logic
   Official organ of the Association of Symbolic Logic.
   http://www.aslonline.org/journals-journal.html

» Logic Journal of the IGPL
   (OUP) Official publication of the Interest Group in Pure and Applied Logic.
   http://jigpal.oxfordjournals.org/

» 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.
   http://www.wiley-vch.de/publish/en/journals/alphabeticIndex/2256/

» Notre Dame Journal of Formal Logic
   Publisher's site, access restricted.
   http://www.nd.edu/~ndjfl/

» Reports on Mathematical Logic
   Official website.
   http://www.iphils.uj.edu.pl/rml/rml.htm

» Studia Logica
   Web page maintained by the Institute of Philosophy and Sociology of the Polish Academy of Sciences.
   http://www.ifispan.waw.pl/StudiaLogica/welcome.html

» Transactions on Computational Logic
   Devoted to research concerned with all uses of logic in computer science.
   http://tocl.acm.org/