Mathematical Logic around the world (Popularity: ): A service provided by the Mathematical Logic Group in Bonn Logic Programming (Popularity: ): Section of WWW Virtual Library. Computability Theory (Popularity: ): Information on this site includes a Bibliographic Database for Computability Theory, a list of Open ... Description Logics (Popularity: ): Maintained by Carsten Lutz. 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] Logic on the World Wide Web (Popularity: ): Based on the compilation of Boris Piwinger (Mathematical Logic Group at the University of Bonn).