20140909 HGF5 Paul Bernays Lectures Voevodsky 01 dm

The Paul Bernays Lectures by Vladimir Voevodsky, September 2014. Main topic: Univalent foundations for mathematics. Lecture 1 of 3: Grundlagen der ...