Logic: Links

Directions for Travel to the University of Illinois at Urbana-Champaign

• The airport for Champaign and Urbana is Willard Airport (airport code CMI). Currently there are flights from Chicago O'Hare and from Dallas Fort Worth on American Airlines, from Detroit on Northwest Airlines, and from Atlanta on Delta Airlines.
• The University maintains a web page giving a variety of travel information including access to driving maps of the area.
• Check out our Short Visitor's Guide (this was created in May 2003 for a conference)

Logic Links

• Mathematical Logic around the world  (gives links to a large number of web sites of interest to logicians)
• Front end for the Mathematics ArXiv preprint server (with a logic section plus many others)
• http://directory.google.com/Top/Science/Math/Logic_and_Foundations/ Google Web Directory for Logic and Foundations
• http://wwwagr.informatik.uni-kl.de/~akademie/contents.html Bibliography of Mathematical Logic and Related Fields

Professional Societies

• Association for Symbolic Logic
• American Mathematical Society