McNeill, Daniel
- Tarski's Theorem on Intuitionistic logic, for polyhedra
2017/01/18 by Bezhanishvili, Nick, Marra, Vincenzo, McNeill, Daniel +1 · 1 citation
#03B20 (Primary) #06D20 #06D22 #52B70 #55U10 #57Q99 (Secondary) #FOS: Mathematics #General Topology (math.GN) #Geometric Topology (math.GT) #Logic (math.LO)