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.
Transactions on Computational Logic: This addition to ACM's Transactions Series is devoted to research concerned with all uses of logic in computer science.
Listed links may put this banner on their website.
Help
build the largest human-edited directory on the web.