Directory: Top/Science/Math/Logic_and_Foundations/Publications/Journals

Top / Science / Math / Logic_and_Foundations / Publications / Journals /

Fundamenta Mathematicae
(Polish Academy of Sciences) Publisher's site. Tables of contents from vol.33 (1945).
http://journals.impan.gov.pl/fm/
Impan.gov.pl ~ Site Info Whois Trace Route RBL Check

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
Ifispan.waw.pl ~ Site Info Whois Trace Route RBL Check

Reports on Mathematical Logic
Official website.
http://www.iphils.uj.edu.pl/rml/rml.htm
Uj.edu.pl ~ Site Info Whois Trace Route RBL Check

Logic Journal of the IGPL
(OUP) Official publication of the Interest Group in Pure and Applied Logic.
http://jigpal.oxfordjournals.org/
Oxfordjournals.org ~ Site Info Whois Trace Route RBL Check

Journal of Logic and Computation
Publisher's site. Unrestricted access only for subscribers.
http://logcom.oxfordjournals.org/
Oxfordjournals.org ~ Site Info Whois Trace Route RBL Check

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/east/home?SGWID=5-102-70-35614830-0
Springer.com ~ Site Info Whois Trace Route RBL Check

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/italy/home?SGWID=6-102-70-1012609-detailsPage=journal|description|description
Springer.com ~ Site Info Whois Trace Route RBL Check

Transactions on Computational Logic
Devoted to research concerned with all uses of logic in computer science.
http://tocl.acm.org/
Acm.org ~ Site Info Whois Trace Route RBL Check

Journal of Automated Reasoning
Interdisciplinary Journal covering theory, implementation and application. Online archive and full text for subscribers.
http://www.springerlink.com/content/100280/
Springerlink.com ~ Site Info Whois Trace Route RBL Check

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 content
http://www.springerlink.com/content/100291/
Springerlink.com ~ Site Info Whois Trace Route RBL Check