Proof Complexity
Jan Krajícek
Czech Academy of Sciences, Prague, Czech Republic
A subscription is required to access this book chapter.
Abstract
This note, based on my 4ECM lecture, exposes few basic points of proof complexity in a way accessible to any mathematician.