Logic and Foundations have been active areas of research in the Mathematics Department since William Hanf joined the department a half-century ago, and are currently represented by

- Bjørn Kjos-Hanssen (theory of computation), and
- David Ross (nonstandard analysis).

A heyday of mathematical logic occurred around 1931-1936 with Gödel’s theorem and Turing’s machines, and was a beginning of the prominent role of logic in computer science now.