http://vesuvius.cs.uiuc.edu:8080/home/pl.html
John Gray, Dan Grayson, and Gaisi Takeuti in Dep. of Mathematics .
Our Colleagues Elsewhere
WWW Resources