Directories Logic and Foundations Math

@Intermall

Top: Science: Math: Logic_and_Foundations: Directories:

• - Maintained by Christian Gottschall, Vienna philosophy department.
  
• - Section of WWW Virtual Library.
  
• - With Automated Reasoning, Computational Logics and Advanced Databases. Projects, people, conferences and specific resources.
  
• - Directory of encyclopedia articles and related websites. [epistemelinks.com]
  
• - Lists institutions, research groups and individuals; updated 1996.
  
• - 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.
  
• - Section of Math Guide.
  
• - List of web pages of Association for Symbolic Logic members. Maintained by Herbert Enderton.
  
• - Gustavus Philosophy Department.
  
• - Category of Topics in Mathematics (MathArchives).
  
• - Maintained by Anton Setzer, Uppsala.
  
• - A service provided by the Mathematical Logic Group in Bonn
  
• - By Christian Urban.
  
• - Maintained by Carsten Lutz.
  
• - Based on the compilation of Boris Piwinger (Mathematical Logic Group at the University of Bonn).