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