Theoretical Computer Science Journal on theoretical computer science published by Elsevier. http://www.elsevier.nl/locate/tcs
Electronic Colloquium on Computational Complexity ECCC publishes research reports, surveys and books in computational complexity and is hosted by the University of Trier. http://www.eccc.uni-trier.de/eccc/
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/
Journal of Logic Programming Journal of Logic Programming published upto 2000. http://www.informatik.uni-trier.de/~ley/db/journals/jlp/
Journal of Logic and Algebraic Programming International journal covering logical and algebraic methods and techniques for programming published by Elsevier. http://www.elsevier.nl/locate/jlap
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/
Bulletin of the EATCS Tables of contents from no.55 (1995). http://www.wi.leidenuniv.nl/home/beatcs/
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
Help build the largest human-edited directory on the web.