Title: Logic, proof, and sets
Subjects: Set theory, Symbolic and mathematical Logic, Proof theory