For next time, please read sections 2.3.1 and 2.3.2.

We decided that we would begin by learning a bit about logic. I think it makes the most sense to start with higher order logic. For next time, please read sections 2.1 and 2.2 of the book on higher order logic in the READINGS tab.

Welcome to the webpage of my colloquium for the winter semester of 2022!