Science

Publisher's site.

Formerly Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. Publisher's site. Table of contents from 2000. Full text to subscribers.

All articles in postscript format.

Electronic journal.

(Elsevier) Formerly Annals of Mathematical Logic. Unrestricted access only for subscribers.

(Polish Academy of Sciences) Publisher's site. Tables of contents from vol.33 (1945).

(OUP) Official publication of the Interest Group in Pure and Applied Logic.

Publisher's site. Unrestricted access only for subscribers.

Devoted to research concerned with all uses of logic in computer science.

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.

Publishes research papers and occasionally surveys or expositions on mathematical logic. Tables of contents from vol.34 (1995) on. Full text to subscribers.

Journal devoted to philosophical applications of logic, and the philosophical underpinnings of logic. Sample copy and an archive of tables of contents.

Publisher's site.

World Scientific. Contents and abstracts of all issues; full text to institutional subscribers.

Interdisciplinary Journal covering theory, implementation and application. Online archive and full text for subscribers.