Multi-Sorted Logic, Models, and Logical Geometry.
| Autor: | Aladova, E.1 aladovael@mail.ru, Gvaramia, A.2, Plotkin, B.3 plotkin@macs.biu.ac.il, Plotkin, T.1 |
|---|---|
| Zdroj: | Journal of Mathematical Sciences. May2016, Vol. 214 Issue 6, p742-754. 13p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|