Proof theory and logical complexity | lit.salon