layout title permalink page Proof-theoretic characterization /pcharacterization/ Note that this material has been merely migrated and not revised Lecture slides pdf git v1.10.0