• Annals of Pure and Applied Logic
• Archive for Mathematical Logic
• Bulletin of Symbolic Logic
• Computability - the Journal of the Association CiE
• Foundations of Computational Mathematics
• Journal of Complexity
• Journal of Logic and Analysis
• Journal of Symbolic Logic
• Journal of Universal Computer Science
• Logical Methods in Computer Science
• Mathematical Logic Quarterly
• Mathematical Structures in Computer Science
• Reliable Computing
• Theoretical Computer Science
• Theory of Computing Systems

• Perspectives in Logic
• Theory and Applications of Computability

Organisations and Resources

• Association for Symbolic Logic
• Computability Theory
• Computability in Europe (CiE)
• European Association for Theoretical Computer Science (EATCS)
• Foundations of Computational Mathematics
• Hypercomputation
• Information-Based Complexity (IBC)
• Interval Computations
• iRRAM - Exact Arithmetic in C++