Title: Topology via logic
Subjects: Topology, Logic, symbolic and mathematical