This is the blog post of the 2022 August NITheCS Mini-School. Let us begin with some useful links:
- Lecture notes on universes of sets (introductory)
- Some videos explaining the concepts from the lecture notes above
This is the blog post of the 2022 August NITheCS Mini-School. Let us begin with some useful links: