Proof complexity /
Krajíček, Janauthor.
Includes bibliographical references (pages 481-505) and index.
Proof theory
Computational complexity
Computational complexity
Proof theory