TY  - RPRT
TI  - Tarski's Theorem on Intuitionistic logic, for polyhedra
AU  - Nick Bezhanishvili
AU  - Vincenzo Marra
AU  - Daniel McNeill
AU  - Andrea Pedrini
PY  - 2017
UR  - https://arxiv.org/abs/1701.05094
ID  - 1701.05094
ER  -