Associazioni di logica
- Association for Symbolic Logic (ASL)
- British Logic Colloquium (BLC)
- Computability in Europe (CiE)
- Interest Group in Pure and Applied Logics(IGPL)
- Kurt Gödel Society
- Sociedade Brasileira de Lógica
- The European Association for Logic, Language and Information (FoLLI)
- The Proof Society
- Capitolo Italiano dell’EATCS
- The Proof-Theoretic Semantics Network
Riviste e siti web divulgativi
Enciclopedie e portali
- MathSciNet
- Mathworld
- Planetmath
- Stanford Encyclopedia of Philosophy
- The MacTutor History of Mathematics archive
Altre associazioni di interesse per i logici
- American Mathematical Society (AMS)
- Association for Logic Programming (ALP)
- European Mathematical Society (EMS)
- Istututo Nazionale di Alta Matematica(INDAM)
- London Mathematical Society (LMS)
- Mathematical Association of America (MAA)
- Unione Matematica Italiana (UMI)