Welcome

The first lecture take place Tuesday 20. 12:15.

Everyone will need a copy of

   Leary: A Friendly Introduction to Mathematical Logic.

Leary's book is available (as an compendium) in the university book store.