George Voutsadakis
2 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Categorical Abstract Algebraic Logic Referential π-Institutions Opublikowano w: Bulletin of the Section of Logic 2015 / Tom 44 / Numer 1-2 / s. 33 - 51ROK: 2015CZYSTY TEKSTBIBTEX
-
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 - 124ROK: 2016CZYSTY TEKSTBIBTEX
