Logical Foundations of Proof Complexity (Perspectives in Logic)

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

Proof Assistants and Their Applications in Mathematics and Computer Science (Computer Science Foundations and Applied Logic)

Foundations of Illocutionary Logic

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