Logiklänkar
Blandad logikinfo
- Stanford Encyclopedia of Philosophy - Här finns många bra logikartiklar.
- Wikipedia - Wikipedia är en stor encyklopedi med många logikartiklar.
- Logik på ArXiv - En stor preprintsamling
- Foundations of Mathematics - Sakharovs länksamling
Bloggar
- LogBlog - Richard Zach skriver om logik.
- Logic Matters - Peter Smith skriver om logik.
- Computational Complexity - Bill Gasarch skriver om logik och, framförallt, komplexitetsteori.
- Antimeta - Kenny Easwaran skriver om filosofi och logik.
Logiker med hemsidor
Logiktidskrifter (refereegranskade)
- Journal of Symbolic Logic (ASL)
- Bulletin of Symbolic Logic (ASL)
- Review of Symbolic Logic (ASL)
- Journal of Philosophical Logic (Springer Netherlands)
- Annals of pure and applied logic (Elsevier)
- Archive for mathematical logic (Springer Berlin/Heidelberg)
- Mathematical logic quarterly (WILEY-VCH)
- Notre Dame journal of formal logic (Duke University Press / University of Notre Dame)
- Studia logica (Springer Netherlands)
- Journal of logic language and information (Springer Netherlands)
- Logica universalis (Birkhäuser)
- Fundamenta Mathematicae (Polish Academy of Sciences)
- Philosophia Mathematica (Oxford UP)
- History and Philosophy of Logic (Taylor & Francis)
- Journal of Mathematical Logic (World Scientific)
- Nättidskrift: The Australasian Journal of Logic (Australasian Association for Logic)
Blandade logikrelaterade länkar
- LaTeX for Logicians - Hjälp för dig som vill skriva logik med LaTeX.
- Mathematical Logic around the world - En samling länkar till logikgrupper i världen
- Rolf Schockprisen - Delas ut i bland annat logik och filosofi.
- The QED project - Samling av formella bevis.
- FOM - En epostlista om Foundations of Mathematics.
- Logic and Foundations - Google Directory