Logic and lattice theory

Logic and Lattice Theory have been active areas of research in the Mathematics Department since William Hanf joined the department over 40 years ago, and are currently represented by

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.

Course Details