/subjects/Proof_theory
Type: /type/subject
name: Proof theory