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.
Published Jan. 14, 2024 9:11 PM
- Last modified Jan. 14, 2024 9:11 PM