Welcome

The first lecture is over. The next lecture will take place February 4 (so no lecture next week).

The curriculum:

• Chapter 7 of Leary & Kristiansen: A friendly introduction to mathematical logic.
• Parts of Oliver Aberth: Computable Analysis.

Before the next lecture you should read Section 7.1, 7.2 and 7.3 of L&K.