- Information and Computation - http://theory.lcs.mit.edu/~iandc/
International journal on Theoretical Computer Science and Information Theory.
- Mathematical Logic Quarterly - http://www.wiley-vch.de/publish/en/journals/alphabeticIndex/2256/
MLQ is an international journal on mathematical logic and foundations of mathematics published by Wiley-VCH.
- Transactions on Computational Logic - http://www.acm.org/pubs/tocl/
This addition to ACM's Transactions Series is devoted to research concerned with all uses of logic in computer science.
- SIGACT News Online - http://sigact.acm.org/sigactnews/online.html
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.
|