TY  - RPRT
TI  - Completeness and interpolation for intuitionistic infinitary predicate logic, in connection to finitizing the class of representable Heyting polyadic algebras
AU  - Tarek Sayed Ahmed
PY  - 2013
UR  - https://arxiv.org/abs/1304.1538
ID  - 1304.1538
ER  -