Publications by year

PP-2017-03:
Nick Bezhanishvili, Vincenzo Marra, Daniel McNeill, Andrea Pedrini Tarski's theorem on intuitionistic logic, for polyhedra.
1.Full Text, 2.Abstract.