![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | Turing_Machine/ | 2025-03-01 17:48 | - | |
![]() | WallOfLogic.jpg | 2025-03-01 17:48 | 105K | |
![]() | candi_notes.pdf | 2025-03-01 17:48 | 543K | |
![]() | classical.pdf | 2025-03-01 17:48 | 161K | |
![]() | core_syllabus.pdf | 2025-03-01 17:48 | 65K | |
![]() | effective.html | 2025-03-01 17:48 | 1.7K | |
![]() | freshman_seminar.html | 2025-03-01 17:48 | 5.6K | |
![]() | halting.pdf | 2025-03-01 17:48 | 72K | |
![]() | landc_notes.pdf | 2025-03-01 17:48 | 499K | |
![]() | mathematics_and_lang..> | 2025-03-01 17:48 | - | |
![]() | practical/ | 2025-03-01 17:48 | - | |
![]() | prooftheory.html | 2025-03-01 17:48 | 4.0K | |
![]() | seminar/ | 2025-03-01 17:48 | - | |
![]() | seminar2/ | 2025-03-01 17:48 | - | |
![]() | seminar3/ | 2025-03-01 17:48 | - | |
![]() | understanding_seminar/ | 2025-03-01 17:48 | - | |