Index of /user/avigad/Teaching

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[DIR]Seminar/ 2024-02-18 20:18 -  
[DIR]Turing_Machine/ 2024-02-18 20:18 -  
[IMG]WallOfLogic.jpg 2024-02-18 20:18 105K 
[   ]candi_notes.pdf 2024-02-18 20:18 543K 
[   ]classical.pdf 2024-02-18 20:18 161K 
[   ]core_syllabus.pdf 2024-02-18 20:18 65K 
[TXT]effective.html 2024-02-18 20:18 1.7K 
[TXT]freshman_seminar.html 2024-02-18 20:18 5.6K 
[   ]halting.pdf 2024-02-18 20:18 72K 
[   ]landc_notes.pdf 2024-02-18 20:18 499K 
[DIR]mathematics_and_lang..>2024-02-18 20:18 -  
[DIR]practical/ 2024-02-18 20:18 -  
[TXT]prooftheory.html 2024-02-18 20:18 4.0K 
[DIR]seminar2/ 2024-02-18 20:18 -  
[DIR]seminar3/ 2024-02-18 20:18 -  
[DIR]understanding_seminar/ 2024-02-18 20:18 -