Associations

Association for Symbolic Logic (ASL)

Association for Automated Reasoning

American Mathematical Society (AMS)

European Association for Computer Science Logic (EACSL)

European Association for Logic, Language and Information (FOLLI)

Game Theory Society

Mathematical Association of America (MAA)

The Kurt Gödel Society

Scandinavian Logic Society

For more, see also this link

Journals

Mathematics Journals

ACM Transactions on Computational Logic

Annals of Pure and Applied Logic

Artificial Intelligence

Journal of Autonomous Agents and Multi-agent Systems

The Bulletin of Symbolic Logic

Bulletin of the EATCS

Electronic Notes in Theoretical Computer Science

Games and Economic Behaviour

Information and Computation

Journal of Applied Logic

Journal of the ACM

International Journal of Game theory

Journal of Artificial Intelligence Research

Journal of Automated Reasoning

Journal of Logic and Computation

Journal of Logic, Language and Information

Journal of Philosophical Logic

Journal of Symbolic Logic

Journal of Universal Computer Science

Logic Journal of the IGPL

Logical Methods in Computer Science

Quantum Magazine Home Page

Software and Systems Modeling

Studia Logica

Synthese (Series on Knowledge, Rationality and Action)

Theoretical Computer Science

See also this link

Reserch groups
and institutions

See Logic and set theory around the world

Bibliographies

The Hypertext Bibliography Project

Bibliography on Logical Frameworks

ORA Canada Bibliography of Automated Deduction

Tools

Formal Methods Wiki

ileanTAP

Isabelle

LeanTAP

LWB - The Logics Workbench 1.0

LoTREC Generic Tableaux Prover

Nuprl

Otter

Setheo

SPASS first-order theorem prover

The Stanford Temporal Prover

TPS - Theorem Proving System

See also this link

Fun, games, puzzels

Spiked Math Comics

xkcd

Language log

Other links
and metalinks

Mathematics

The Internet Mathematics Library

Mathematics Departments Web Servers

Mathematics Archives - Topics in Mathematics

Mathematics Journals

Logics

Directory of links on logic and set theory

Game theory

Game theory.net

Game theoretic algorithms

Theoretical Computer Science and Artificial Intelligence

To be added.

Miscellanea

Countries I have visited