CATEGORICAL ABSTRACT LOGIC: HIDDEN MULTI-SORTED LOGICS AS MULTI-TERM π-INSTITUTIONS.
| Autor: | Voutsadakis, George1 gvoutsad@lssu.edu |
|---|---|
| Zdroj: | Bulletin of the Section of Logic. 2016, Vol. 45 Issue 2, p111-124. 14p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|