Electronic Colloquium on Computational Complexity - ECCC publishes research reports, surveys and books in computational complexity and is hosted by the University of Trier. - http://eccc.hpi-web.de/
Theory of Computing - An open-access electronic journal of theoretical computer science. Online archive and submission instructions. - http://theoryofcomputing.org/
SIGACT News Online - The electronic version of the print newsletter SIGACT News. Full access restricted to current members with an ACM WWW account. Unrestricted access to recent tables of contents and Theory calendar. - http://sigact.acm.org/sigactnews/online.html
Transactions on Computational Logic - This addition to ACM's Transactions Series is devoted to research concerned with all uses of logic in computer science. - http://www.acm.org/pubs/tocl/
Journal of Logic Programming - Journal of Logic Programming published upto 2000. - http://www.informatik.uni-trier.de/~ley/db/journals/jlp/
Mathematical Logic Quarterly - MLQ is an international journal on mathematical logic and foundations of mathematics published by Wiley-VCH. - http://www.wiley-vch.de/publish/en/journals/alphabeticIndex/2256/