Categorical Abstract Algebraic Logic Referential π-Institutions

Bulletin of the Section of Logic, Tom 44, Numer 1-2 (2015) s. 33-51
George Voutsadakis

 

do góry