Logical foundations of proof complexity - Cook, Stephen, (Association for Symbolic Logic ;)