Video From 11w5103: Proof complexity

Thursday, October 6, 2011 09:05 - 10:02
Bounded Reverse Mathematics

Download this video (279M)



Other videos from this workshop