Jeremy Avigad
| homepage: | http://www.andrew.cmu.edu/user/avigad/ |
| search externally: |
 Springer,
|
Lecture:
lecture
Hilbert, Gödel, and Metamathematics today
as author at Conference honoring the Winners of the Kurt Gödel Research Prize Fellowships 2008 and 2011, 8662 views |
||||
