Index of /user/avigad/Teaching

[ICO]NameLast modifiedSizeDescription

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