Mathematical Logic around the world (Popularity: ): A service provided by the Mathematical Logic Group in Bonn Logic Programming (Popularity: ): Section of WWW Virtual Library. Logic and Set Theory (Popularity: ): Groups and conferences. Computability Theory (Popularity: ): 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. ... Logic and Set Theory (Popularity: ): Category of Topics in Mathematics (MathArchives). Logic Page (Popularity: ): Maintained by Christian Gottschall, Vienna philosophy department. Logic Links (Popularity: ): Gustavus Philosophy Department. ASL members (Popularity: ): List of web pages of Association for Symbolic Logic members. Maintained by Herbert Enderton. Formal Logic (Popularity: ): Directory of encyclopedia articles and related websites. [epistemelinks.com] Knowledge Representation (Popularity: ): With Automated Reasoning, Computational Logics and Advanced Databases. Projects, people, conferences and specific resources.