The Indiana University Program
in Pure and Applied Logic

Jon Barwise | Luitzen Brouwer | Bertrand Russell | Gerhard Gentzen | 
Alfred Tarski | Kurt Gödel

The site now resides at http://www.indiana.edu/~iulg, you will be automatically redirected there in a few moments.