TY  - RPRT
TI  - Algebraisable versions of predicate topological logic
AU  - Tarek Sayed Ahmed
PY  - 2014
UR  - https://arxiv.org/abs/1401.1156
ID  - 1401.1156
ER  -