Sergei Artemov
homepage: | http://web.cs.gc.cuny.edu/~sartemov/ |
search externally: | Google Scholar, Springer, CiteSeer, Microsoft Academic Search, Scirus , DBlife |
Lecture:
lecture Kurt Gödel's Legacy and the Current Trends in Logic as author at Conference honoring the Winners of the Kurt Gödel Research Prize Fellowships 2008 and 2011, 4996 views |