@misc{indiciae62b8e8716b4a,
  title = {Tarski's Theorem on Intuitionistic logic, for polyhedra},
  author = {Nick Bezhanishvili and Vincenzo Marra and Daniel McNeill and Andrea Pedrini},
  year = {2017},
  url = {https://arxiv.org/abs/1701.05094},
  note = {Source identifier: 1701.05094}
}