Proof complexity

Lecture Series / Conference / Course : 
Indo UK workshop on Computational Complexity Theory
Subject: 
TCS
Speaker: 
Olaf Beyersdorff
Youtube-url: 
https://youtu.be/wf5MyycrclU
Date: 
Thursday, January 8, 2015