Curriculum

Curriculum: Chapter 7 of "A Friendly Introduction to Mathematical Logic" and parts of the book

                   O. Aberth: Computable Analysis.

"A Friendly Introduction to Mathematical Logic"  is available here:

https://minerva.geneseo.edu/a-friendly-introduction-to-mathematical-logic/

I will provide a pdf of Aberth's book (you do not need this book for a while).