 |
Annals of Pure and Applied Logic - http://www.sciencedirect.com/science/journal/01680072
(Elsevier) Formerly Annals of Mathematical Logic. Unrestricted access only for subscribers. |
 |
Studia Logica - http://www.ifispan.waw.pl/StudiaLogica/welcome.html
Web page maintained by the Institute of Philosophy and Sociology of the Polish Academy of Sciences. |
 |
Archive for Mathematical Logic - http://www.springer.com/italy/home?SGWID=6-102-70-1012609-detailsPage=journal|description|description
Publishes research papers and occasionally surveys or expositions on mathematical logic. Tables of contents from vol.34 (1995) on. Full text to subscribers. |
 |
Journal of Automated Reasoning - http://www.springerlink.com/content/100280/
Interdisciplinary Journal covering theory, implementation and application. Online archive and full text for subscribers. |
 |
Journal of Logic, Language and Information - http://www.springerlink.com/content/100291/
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. |