Science: Math: Logic and Foundations: Publications: Journals:

Description

Top
: Science
: Math
: Logic and Foundations
: Publications
: Journals (18)

Open Directory - Science: Math: Logic and Foundations: Publications: Journals

See also:

Science: Math: Publications: Journals (142)

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

"Journals" search on: AOL - Ask - Bing - Gigablast - Google - Lycos - Yahoo - Yippy

Volunteer to edit this category.

Visit our sister sites mozilla.org | MusicMoz | Wikipedia

Last update: Monday, July 20, 2009 9:23:46 PM EDT - edit