Oulie
Logical Foundations of Proof Complexity by Stephen Cook — Oulie