Mathematical Logic Quarterly - MLQ is an international journal on mathematical logic and foundations of mathematics published by Wiley+VCH.
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.
Theoretical Computer Science - Elsevier journal covering the mathematical and theoretical basis of computer science.
Theory of Computing - An open+access electronic journal of theoretical computer science. Online archive and submission instructions.
Transactions on Computational Logic - This addition to ACM's Transactions Series is devoted to research concerned with all uses of logic in computer science.
Help build the largest human-edited
directory on the web.