[1]
“Steven Vickers - Topology via Logic”, RIFAJ, vol. 1, no. 2, pp. 71–74, Nov. 2011, doi: 10.13130/2037-4445/1480.