![](/img/cover-not-exists.png)
Multi-Sorted Logic, Models, and Logical Geometry
Aladova, E., Gvaramia, A., Plotkin, B., Plotkin, T.Volume:
214
Language:
english
Journal:
Journal of Mathematical Sciences
DOI:
10.1007/s10958-016-2811-4
Date:
May, 2016
File:
PDF, 213 KB
english, 2016