Categorical Abstract Algebraic Logic: Algebraizable Institutions

Author: Voutsadakis G.  

Publisher: Springer Publishing Company

ISSN: 0927-2852

Source: Applied Categorical Structures, Vol.10, Iss.6, 2002-12, pp. : 531-568

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract