Categorical Abstract Algebraic Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutions

Bulletin of the Section of Logic, Tom 45, Numer 2 (2016) s. 111-124
George Voutsadakis

 

do góry