Abstract
We discuss the fundamental notions of proof complexity introduced in the 1979 paper of Cook and Reckhow, and their importance for contemporary research.
We discuss the fundamental notions of proof complexity introduced in the 1979 paper of Cook and Reckhow, and their importance for contemporary research.