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