Proof complexity/
Jan Krajícek, Charles University, Prague.
- xiv, 516 pages; 24 cm.
- Encyclopedia of mathematics and its applications; 170 .
- Encyclopedia of mathematics and its applications; v. 170. .
Includes bibliographical references (pages 481-505) and index.