Title: Logic, proof, and sets
Description: Introduction to logic, sets and proofs.
Subjects: Set theory, Symbolic and mathematical Logic, Proof theory