Title: Read and Do Proofs
Subjects: Proof theory, Logic, symbolic and mathematical