Department Seminar Series
Unprovable Arithmetical Statements
5th October 2004, 16:00
Andrey Bovykin
Laboratory of Mathematical Logic, Steklov Mathematical Institute, St. Petersburg, Russia, and Department of Computer Science, University of Liverpool, UK
Maintained by Othon Michail