Log in | Register | English language  
New User
Register
Sign in
  • Home
  • Browse Lectures
  • People
  • Conferences
  • Academic Organisations
  • EU Supported
  • About Us
Sergei Artemov
homepage:http://web.cs.gc.cuny.edu/~sartemov/
search externally:   Google Scholar,   Springer,   CiteSeer,   Microsoft Academic Search,   Scirus ,   DBlife


Lecture:

[syn]  4994 views, 55:16  
lecture
flag 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,
4994 views