List of Research Groups in Logic and Theoretical Computer Science World-wide

Journals, Newsletters

• general sites
  • List of electronically available mathematics journals
  • Journal Citation Reports
  • Journals, Preprings Reviews and Bibliographies in Logic
  • Journals in Philosophy and related disciplines
  • Mathematics Journals (European Mathematical Society)
  • Bibliothèque Mathématique et Informatique, U Bordeaux for Tables of Contents of over 300 journals.
  • Postal addresses for logic journals
• Online Journals
  • Bulletin of the EATCS
  • The Reasoner
    A monthly digest highlighting exciting new research on reasoning and interesting new arguments. It is interdisciplinary, covering research in, e.g., philosophy, logic, AI, statistics, cognitive science, law, psychology, mathematics and the sciences.
  • Bulletin of Symbolic Logic (Bibliography)
  • Journal of Symbolic Logic (Bibliography, Information about Online access for ASL members, Login for ASL members)
  • Nordic Journal of Philosophical Logic
  • The London Mathematical Society Journal of Computation and Mathematics
  • Discrete mathematics and theoretical computer science DMTCS
  • Theory and Applications of Categories (TAC)
  • Journals from Elsevier: Mathematics and Computer Science
  • Electronic Journal: Theory and Applications of Categories
  • Bulletin of the IGPL
  • Internationales elektronisches Kolloquium zur Computational Comlexity (ECCC) oder ftp://ftp.eccc.uni-trier.de/pub/eccc
  • Electronic Newsletter/News Journal on Reasoning about actions and change (ENRAC)
  • Electronic Transactions on Artificial Intelligence (ETAI)
  • Journal of Combinatorial Theory Series A
  • Journal of Combinatorial Theory Series B
  • Journal of Computer and Systems Sciences
  • Information and Computation (International journal of theoretical Computer Science published by Academic Press)
    • another link
• Preprints
  • Mathematical logic & set theory Eprints @ Los Alamos XXX Mathematics Archive
  • AMS: Mathematical logic and foundations
  • AMS: Set theory
  • MPRESS preprint archive (Preprints in mathematics).
  • Preprints from the Mittag-Leffler Institute
• Newsletters
  • See Page "Mailing Lists"
  • Newsletter of the ASL
• Ordinary Journals
  • Archive for Mathemtical Logic
  • Mathematical Logic Quarterly
  • Annals of Pure and Applied Logic (for departments to subscribe: Science Direct (access to articles)
  • Bulletin of Symbolic Logic (Bibliography)
  • Journal of Symbolic Logic (Bibliography)
  • Notre Dame Journal of Formal Logic
  • Logic Journal of the IGPL
  • Chicago Journal of Theoretical Computer Science
  • Journal of symbolic Computation. Special Issue on executable temporal logics
  • Studia Logica
  • Theoretical Computer Science
    • TCS (Theoretical Computer Science): Contents
  • TCS Papers Database
  • Bulletin of the IGPL
  • Zeitschrift TAC
  • Information and Computation
  • Journal of the ACM
  • Symposium on the Theory of Computing (STOC)
    • Mathematical Reviews
      • Mathematical Reviews/ Author lookup
  • Fachinformationszentrum Karlsruhe
    • Zentralblatt Math
  • IEEE Publications
    • Logic in Computer Science (LICS)
    • Foundations of Computer Science (FOCS)
  • The Chicago Journal of Theoretical Computer Science
  • SIAM Journals
    • SIAM Journal on Computing
  • Journal of Functional Programming
  • Journal of Functional and Logic Programming
  • American Mathematical Monthly
  • Bulletin of the American Mathematical Society

• back to table of contents for Logic Servers Worldwide
• back to Theoretical Computer Science at Swansea
• back to Computer Science at Swansea

Please mail additions and corrections to Anton Setzer , .

---

Dept. of Computer Science, University of Wales Swansea | Last modified: Oct 12, 1999 | URL http://www-compsci.swan.ac.uk/~csetzer/logic-server/journals.html | Anton Setzer,

• University of Wales Swansea
  • Department of Computer Science
    • Theoretical Computer Science