Logical Foundations of Proof Complexity (Perspectives in Logic)

Handbook of Proof Theory (Volume 137) (Studies in Logic and the Foundations of Mathematics, Volume 137)

Foundations of Illocutionary Logic

First-Order Schemata and Inductive Proof Analysis (Computer Science Foundations and Applied Logic)

Set Theory An Introduction To Independence Proofs: 102 (Studies in Logic and the Foundations of Mathematics): Volume 102