Reference. Topology via logic [vickers-1989-topology]

@book{vickers-1989-topology,
	author = {Vickers, Steven},
	title = {Topology via logic},
	year = {1989},
	isbn = {0521360625},
	doi = {10.5555/64996},
	publisher = {Cambridge University Press},
	address = {USA}
}