s u r f - s i t e . c o m Web Surfing Directory     Top: Science: Math: Logic_and_Foundations: Directories ASL members - List of web pages of Association for Symbolic Logic members. Maintained by Herbert Enderton. Computability Theory - 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. Maintained by Peter Cholak. Description Logics - Maintained by Carsten Lutz. Knowledge Representation - With Automated Reasoning, Computational Logics and Advanced Databases. Projects, people, conferences and specific resources. Logic and Set Theory - Category of Topics in Mathematics (MathArchives). Logic and Set Theory - Groups and conferences. Logic Links - Gustavus Philosophy Department. Logic Page - Maintained by Christian Gottschall, Vienna philosophy department. Mathematical Logic and Foundations - Section of Math Guide. Mathematical Logic Around the World - Compilation of links by Boris Piwinger. Research groups in Logic and Theoretical Computer Science - Maintained by Anton Setzer, University of Wales Swansea. Help build the largest human-edited directory on the web. Submit a Site - Open Directory Project - Become an Editor surf-site.com - Web Surfing Directory is a free service of Bush Enterprises. Copyright ©2000, by James E. Bush.