Proof theory and intuitionistic systems | lit.salon