Sites

Mathematical Logic around the world (Popularity: )
http://www.uni-bonn.de/logic/world.html
A service provided by the Mathematical Logic Group in Bonn

Logic Page (Popularity: )
http://logik.phl.univie.ac.at/~chris/logic.html
Maintained by Christian Gottschall, Vienna philosophy department.

ASL members (Popularity: )
http://www.math.ucla.edu/~hbe/aslweb.html
List of web pages of Association for Symbolic Logic members. Maintained by Herbert Enderton.

Logic and Set Theory (Popularity: )
http://www.math.ufl.edu/~jal/orgs.html
Groups and conferences.

Logic and Set Theory (Popularity: )
http://archives.math.utk.edu/topics/logic.html
Category of Topics in Mathematics (MathArchives).

Computability Theory (Popularity: )
http://www.nd.edu/~cholak/computability/computability.html
Information on this site includes a Bibliographic Database for Computability Theory, a list of Open Questions in Recursion Theory as well as links to many researchers working in the field. ...

Formal Logic (Popularity: )
http://www.epistemelinks.com/Main/Topics.asp?TopicCode=Logi
Directory of encyclopedia articles and related websites. [epistemelinks.com]

Knowledge Representation (Popularity: )
http://www.cs.man.ac.uk/~franconi/kr.html
With Automated Reasoning, Computational Logics and Advanced Databases. Projects, people, conferences and specific resources.

Logic Programming (Popularity: )
http://www.comlab.ox.ac.uk/archive/logic-prog.html
Section of WWW Virtual Library.

Logic Links (Popularity: )
http://www.gac.edu/oncampus/academics/philosophy/llogic.html
Gustavus Philosophy Department.

Description Logics (Popularity: )
http://dl.kr.org/
Maintained by Carsten Lutz.