CATEGORICAL ABSTRACT ALGEBRAIC LOGIC: GENTZEN (π)-INSTITUTIONS