TY  - RPRT
TI  - Some metalogical properties for infinitary predicate topological logic
AU  - Tarek Sayed Ahmed
PY  - 2013
UR  - https://arxiv.org/abs/1304.1576
ID  - 1304.1576
ER  -