Pages that link to "Item:Q3430283"

The following pages link to Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors (Q3430283):

Displaying 2 items.

• Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties (Q878147) (← links)
• Categorical Abstract Algebraic Logic: Algebraic Semantics for (\documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\bf{\pi }$\end{document})‐Institutions (Q4928968) (← links)