Topology via Constructive Logic - School of Computer Science ...

Download PDF
0 downloads 167 Views 795KB Size Report
Comment
Abstract. By working constructively in the sense of geometric logic, topology can be hidden. This .... other words a con