The Indiana
University Program
in Pure and Applied Logic
- Jon Barwise
- Born: 29 June 1942
- Died: 5 March 2000 in Bloomington, Indiana
- Luitzen Egbertus Jan Brouwer
- Born: 27 Feb 1881 in Overschie, Netherlands
- Died: 2 Dec 1966 in Blaricum, Netherlands
- Bertrand Arthur William Russell
- Born: 18 May 1872 in Ravenscroft, Trelleck, Monmouthshire, Wales
- Died: 2 Feb 1970 in Penrhyndeudraeth, Merioneth, Wales
- Gerhard Gentzen
- Born: 24 Nov 1909 in Greifswald, Germany
- Died: 4 Aug 1945 in Prague, Czechoslovakia
- Alfred Tarski
- Born: 14 Jan 1902 in Warsaw, Russian Empire (now Poland)
- Died: 26 Oct 1983 in Berkeley, California, USA
- Kurt Gödel
- Born: 28 April 1906 in Brünn, Austria-Hungary (now Brno, Czech Republic)
- Died: 14 Jan 1978 in Princeton, New Jersey, USA
