View of Categorical Abstract Algebraic Logic: Referential π-Institutions

Return to Article Details Categorical Abstract Algebraic Logic: Referential π-Institutions Download Download PDF