MR04


2010-11-08 14:00: Concrete Mathematical Incompleteness (Harvey Friedman (Ohio State University))