Steven Vickers - Topology via Logic. RIFAJ 2011, 1 (2), 71-74. https://doi.org/10.13130/2037-4445/1480.