@misc{indiciaecfdc6e3e1a56,
  title = {Completeness and interpolation for intuitionistic infinitary predicate logic, in connection to finitizing the class of representable Heyting polyadic algebras},
  author = {Tarek Sayed Ahmed},
  year = {2013},
  url = {https://arxiv.org/abs/1304.1538},
  note = {Source identifier: 1304.1538}
}