-
Categorical Abstract Algebraic Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutions Opublikowano w: Bulletin of the Section of Logic 2016 / Tom 45 / Numer 2 / s. 111 - 1242016CZYSTY TEKST
George Voutsadakis, Categorical Abstract Algebraic Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutions, Bulletin of the Section of Logic, 2016 / Tom 45 / Numer 2, s. 111 - 124
BIBTEX@Article{ authors = " George Voutsadakis", title = "Categorical Abstract Algebraic Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutions", journal = "Bulletin of the Section of Logic", issue = "2016 / Tom 45 / Numer 2", pages = "111 - 124" }
-
Categorical Abstract Algebraic Logic Referential π-Institutions Opublikowano w: Bulletin of the Section of Logic 2015 / Tom 44 / Numer 1-2 / s. 33 - 512015CZYSTY TEKST
George Voutsadakis, Categorical Abstract Algebraic Logic Referential π-Institutions, Bulletin of the Section of Logic, 2015 / Tom 44 / Numer 1-2, s. 33 - 51
BIBTEX@Article{ authors = " George Voutsadakis", title = "Categorical Abstract Algebraic Logic Referential π-Institutions", journal = "Bulletin of the Section of Logic", issue = "2015 / Tom 44 / Numer 1-2", pages = "33 - 51" }
