Logic: Links
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.
Logic Links
Mathematical Logic around the world (gives links to a large number of web sites of interest to logicians)
ASL -- Links to Other Sites (points to organizations, institutes, and resources 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
Professional Societies
Association for Symbolic Logic
American Mathematical Society