Proof Complexity

  • Jan Krajícek

    Czech Academy of Sciences, Prague, Czech Republic
Proof Complexity cover
Download Chapter PDF

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.