Notes on intuitionistic second order arithmetic | lit.salon