Welcome!
The first lecture takes place August 21 (see the schedule).
We will use this textbook:
http://minerva.geneseo.edu/a-friendly-introduction-to-mathematical-logic/
Best Wishes
Lars