View of Categorical Abstract Algebraic Logic: Equivalential π-Institutions

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