VideoArxiv
Home
Workshops
Speakers
Talk page
Title:
Bounded Reverse Mathematics
Speaker:
Stephen Cook
Link:
http://www.birs.ca/events/2011/5-day-workshops/11w5103/videos/watch/201110060905-Cook.html
Workshop:
Birs- 11w5103: Proof complexity