Topology Via Logic