School Seminar Series

Unprovable Arithmetical Statements

5th October 2004, 16:00 add to calender
Andrey Bovykin
Laboratory of Mathematical Logic, Steklov Mathematical Institute, St. Petersburg, Russia, and Department of Computer Science, University of Liverpool, UK