  |
Journal of Mathematical Logic - http://www.worldscinet.com/jml/jml.shtml
World Scientific. Contents and abstracts of all issues; full text to institutional subscribers. |
 |
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. |
 |
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. |