Jeremy Avigad
homepage: | http://www.andrew.cmu.edu/user/avigad/ |
search externally: |
|
Lecture:
lecture![]() as author at Conference honoring the Winners of the Kurt Gödel Research Prize Fellowships 2008 and 2011, 8668 views |