More information

The first half of the course is covered by Chapter 7 of the textbook

Friendly Introduction to Mathematical Logic (you can download the book for free).

The second half of the course will be on computable analysis.