Textbook
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.
Published Jan. 17, 2025 1:43 AM
- Last modified Jan. 17, 2025 1:43 AM