FG1 Seminar talk

2017-12-01
Moritz Müller (Universität Wien, KGRC)
Proof Complexity

Abstract:
The talk gives a somewhat nonstandard presentation of Proof Complexity from the perspective of mathematical logic.