TY  - RPRT
TI  - Multi-sorted logic, models and logical geometry
AU  - Elena Aladova
AU  - Aleko Gvaramia
AU  - Boris Plotkin
AU  - Tatjana Plotkin
PY  - 2015
UR  - https://arxiv.org/abs/1506.06057
ID  - 1506.06057
ER  -